/*
 * MRustC - Rust Compiler
 * - By John Hodge (Mutabah/thePowersGang)
 *
 * parse/root.cpp
 * - Parsing at the module level (highest-level parsing)
 *
 * Entrypoint:
 * - Parse_Crate : Handles crate attrbutes, and passes on to Parse_ModRoot
 * - Parse_ModRoot
 */
#include <ast/ast.hpp>
#include <ast/crate.hpp>
#include "parseerror.hpp"
#include "common.hpp"
#include <cassert>
#include <hir/hir.hpp>  // ABI_RUST - TODO: Move elsewhere?
#include <expand/cfg.hpp>   // check_cfg - for `mod nonexistant;`
#include <fstream>  // Used by directory path
#include "lex.hpp"  // New file lexer
#include <parse/interpolated_fragment.hpp>
#include <ast/expr.hpp>
#include <macro_rules/macro_rules.hpp>
#include <path.h>

template<typename T>
Spanned<T> get_spanned(TokenStream& lex, ::std::function<T()> f) {
    auto ps = lex.start_span();
    auto v = f();
    return Spanned<T> {
        lex.end_span(ps),
        mv$(v)
        };
}
#define GET_SPANNED(type, lex, val) get_spanned< type >(lex, [&](){ return val; })

// Check the next two tokens
#define LOOKAHEAD2(lex, tok1, tok2) ((lex).lookahead(0) == (tok1) && (lex).lookahead(1) == (tok2))

::helpers::path dirname(::std::string input) {
    while( input.size() > 0 && input.back() != '/' && input.back() != '\\' ) {
        input.pop_back();
    }
    return input;
}

AST::AttributeList Parse_ItemAttrs(TokenStream& lex);
void Parse_ParentAttrs(TokenStream& lex, AST::AttributeList& out);
AST::Attribute  Parse_MetaItem(TokenStream& lex);
void Parse_ModRoot(TokenStream& lex, AST::Module& mod, AST::AttributeList& mod_attrs);
bool Parse_MacroInvocation_Opt(TokenStream& lex,  AST::MacroInvocation& out_inv);

::AST::Visibility Parse_Publicity(TokenStream& lex, bool allow_restricted/*=true*/)
{
    Token   tok;
    if( LOOK_AHEAD(lex) == TOK_INTERPOLATED_VIS )
    {
        GET_TOK(tok, lex);
        return tok.take_frag_vis();
    }
    if( lex.getTokenIf(TOK_RWORD_CRATE) )
    {
        return AST::Visibility::make_restricted(AST::Visibility::Ty::Crate, AST::AbsolutePath("", {}));
    }
    if( lex.getTokenIf(TOK_RWORD_PUB) )
    {
        if( LOOK_AHEAD(lex) == TOK_PAREN_OPEN )
        {
            // HACK: tuple structs have a parsing ambiguity around `pub (self::Type,)`
            if( !allow_restricted )
            {
                if( lex.lookahead(1) == TOK_RWORD_IN )
                    ;
                else if( lex.lookahead(1) == TOK_RWORD_CRATE && lex.lookahead(2) == TOK_PAREN_CLOSE )
                    ;
                else if( lex.lookahead(1) == TOK_RWORD_SUPER && lex.lookahead(2) == TOK_PAREN_CLOSE )
                    ;
                else if( lex.lookahead(1) == TOK_RWORD_SELF && lex.lookahead(2) == TOK_PAREN_CLOSE )
                    ;
                else
                    return AST::Visibility::make_global();
            }
            auto    path = AST::AbsolutePath("", {});
            // Restricted publicity.
            GET_TOK(tok, lex);  // '('

            switch(GET_TOK(tok, lex))
            {
            case TOK_RWORD_CRATE:
                // Crate visibility
                GET_CHECK_TOK(tok, lex, TOK_PAREN_CLOSE);
                return AST::Visibility::make_restricted(AST::Visibility::Ty::PubCrate, std::move(path));
            case TOK_RWORD_SELF:
                // Private!
                path = lex.parse_state().get_current_mod().path();
                GET_CHECK_TOK(tok, lex, TOK_PAREN_CLOSE);
                return AST::Visibility::make_restricted(AST::Visibility::Ty::PubSelf, std::move(path));
            case TOK_RWORD_SUPER:
                path = lex.parse_state().get_current_mod().path();
                path.nodes.pop_back();
                GET_CHECK_TOK(tok, lex, TOK_PAREN_CLOSE);
                return AST::Visibility::make_restricted(AST::Visibility::Ty::PubSuper, std::move(path));
                #if 0
                while( lex.lookahead(0) == TOK_DOUBLE_COLON && lex.lookahead(1) == TOK_RWORD_SUPER )
                {
                    GET_TOK(tok, lex);
                    GET_TOK(tok, lex);
                    path.nodes.pop_back();
                }
                while( lex.getTokenIf(TOK_DOUBLE_COLON) )
                {
                    GET_CHECK_TOK(tok, lex, TOK_IDENT);
                    path.nodes.push_back( tok.ident().name );
                }
                #endif
                break;
            case TOK_RWORD_IN: {
                AST::Path ast_path;
                switch(GET_TOK(tok, lex))
                {
                case TOK_DOUBLE_COLON:
                    ast_path = AST::Path("", {});
                    PUTBACK(tok, lex);
                    break;
                case TOK_IDENT:
                    ast_path = AST::Path::new_relative({}, {});
                    ast_path.nodes().push_back( tok.ident().name );
                    path.nodes.push_back( tok.ident().name );
                    break;
                case TOK_RWORD_CRATE:
                    ast_path = AST::Path("", {});
                    break;
                case TOK_RWORD_SELF:
                    ast_path = AST::Path::new_self({});
                    path = lex.parse_state().get_current_mod().path();
                    break;
                case TOK_RWORD_SUPER:
                    ast_path = AST::Path::new_super(1, {});
                    path = lex.parse_state().get_current_mod().path();
                    path.nodes.pop_back();
                    while( lex.lookahead(0) == TOK_DOUBLE_COLON && lex.lookahead(1) == TOK_RWORD_SUPER )
                    {
                        GET_TOK(tok, lex);
                        GET_TOK(tok, lex);
                        path.nodes.pop_back();
                        ast_path.m_class.as_Super().count += 1;
                    }
                    break;
                default:
                    throw ParseError::Unexpected(lex, tok);
                }
                while( lex.getTokenIf(TOK_DOUBLE_COLON) )
                {
                    GET_CHECK_TOK(tok, lex, TOK_IDENT);
                    path.nodes.push_back( tok.ident().name );
                    ast_path.nodes().push_back( tok.ident().name );
                }
                GET_CHECK_TOK(tok, lex, TOK_PAREN_CLOSE);
                return AST::Visibility::make_restricted(std::move(path), std::move(ast_path));
                }
            default:
                throw ParseError::Unexpected(lex, tok);
            }
        }
        return AST::Visibility::make_global();
    }
    else
    {
        return AST::Visibility::make_restricted(AST::Visibility::Ty::Private, lex.parse_state().get_current_mod().path());
    }
}

::AST::HigherRankedBounds Parse_HRB(TokenStream& lex)
{
    TRACE_FUNCTION;
    Token   tok;

    ::AST::HigherRankedBounds   rv;
    GET_CHECK_TOK(tok, lex, TOK_LT);
    do {
        // Support empty lists and comma-terminated lists
        if( lex.lookahead(0) == TOK_GT ) {
            GET_TOK(tok, lex);
            break;
        }
        auto attrs = Parse_ItemAttrs(lex);

        switch(GET_TOK(tok, lex))
        {
        case TOK_LIFETIME:
            rv.m_lifetimes.push_back(::AST::LifetimeParam(lex.point_span(), ::std::move(attrs), tok.ident()));
            break;
        default:
            throw ParseError::Unexpected(lex, tok, Token(TOK_LIFETIME));
        }
    } while( GET_TOK(tok, lex) == TOK_COMMA );
    CHECK_TOK(tok, TOK_GT);
    return rv;
}
::AST::HigherRankedBounds Parse_HRB_Opt(TokenStream& lex)
{
    if( lex.lookahead(0) == TOK_RWORD_FOR )
    {
        lex.getToken(); // Consume
        return Parse_HRB(lex);
    }
    else
    {
        return ::AST::HigherRankedBounds();
    }
}

namespace {
    AST::LifetimeRef get_LifetimeRef(TokenStream& lex, Token tok)
    {
        CHECK_TOK(tok, TOK_LIFETIME);
        return AST::LifetimeRef(/*lex.point_span(), */tok.ident());
    }
}
/// Parse type parameters in a definition
void Parse_TypeBound(TokenStream& lex, AST::GenericParams& ret, TypeRef checked_type, AST::HigherRankedBounds outer_hrbs = {})
{
    TRACE_FUNCTION;
    Token tok;

    // Empty bound list
    if( lex.lookahead(0) == TOK_COMMA || lex.lookahead(0) == TOK_BRACE_OPEN || lex.lookahead(0) == TOK_SEMICOLON ) {
        return ;
    }

    do
    {
        auto ps = lex.start_span();
        // If an item terminator is seen (end of item, start of body, list separator), return early.
        //if( LOOK_AHEAD(lex) == TOK_SEMICOLON || LOOK_AHEAD(lex) == TOK_COMMA )
        //{
        //    return;
        //}

        if(GET_TOK(tok, lex) == TOK_LIFETIME) {
            ret.add_bound(AST::GenericBound::make_TypeLifetime( {
                checked_type.clone(), get_LifetimeRef(lex, mv$(tok))
                } ));
        }
        else if( tok.type() == TOK_QMARK ) {
            auto hrbs = Parse_HRB_Opt(lex);
            (void)hrbs; // The only valid ?Trait is Sized, which doesn't have any generics
            ret.add_bound(AST::GenericBound::make_MaybeTrait( {
                checked_type.clone(), Parse_Path(lex, PATH_GENERIC_TYPE)
                } ));
        }
        else {
            ::AST::HigherRankedBounds inner_hrls;
            if( tok.type() == TOK_RWORD_FOR )
            {
                inner_hrls = Parse_HRB(lex);
            }
            else {
                PUTBACK(tok, lex);
            }
            auto trait_path = Parse_Path(lex, PATH_GENERIC_TYPE);

            auto this_outer_hrbs = (lex.lookahead(0) == TOK_PLUS ? AST::HigherRankedBounds(outer_hrbs) : mv$(outer_hrbs));
            ret.add_bound( AST::GenericBound::make_IsTrait({
                lex.end_span(ps),
                mv$(this_outer_hrbs), checked_type.clone(), mv$(inner_hrls), mv$(trait_path)
                }) );
        }
    } while( GET_TOK(tok, lex) == TOK_PLUS );
    PUTBACK(tok, lex);
}

/// Parse type parameters within '<' and '>' (definition)
AST::GenericParams Parse_GenericParams(TokenStream& lex)
{
    TRACE_FUNCTION;

    AST::GenericParams ret;
    Token tok;
    do {
        if( GET_TOK(tok, lex) == TOK_GT || tok.type() == TOK_GTE ) {
            break ;
        }

        PUTBACK(tok, lex);
        auto attrs = Parse_ItemAttrs(lex);

        GET_TOK(tok, lex);
        if( tok.type() == TOK_IDENT )
        {
            auto param_name = tok.ident().name;
            auto param_def = AST::TypeParam( lex.point_span(), ::std::move(attrs), param_name );

            size_t bound_start = SIZE_MAX;
            size_t bound_end = SIZE_MAX;
            auto param_ty = TypeRef(lex.point_span(), param_name);
            if( GET_TOK(tok, lex) == TOK_COLON )
            {
                bound_start = ret.m_bounds.size();
                Parse_TypeBound(lex, ret, mv$(param_ty));
                bound_end = ret.m_bounds.size();

                GET_TOK(tok, lex);
            }

            if( tok.type() == TOK_EQUAL )
            {
                param_def.setDefault( Parse_Type(lex) );
                GET_TOK(tok, lex);
            }
            ret.add_ty_param( mv$(param_def), bound_start, bound_end );
        }
        else if( tok.type() == TOK_LIFETIME )
        {
            size_t bound_start = SIZE_MAX;
            size_t bound_end = SIZE_MAX;
            auto param_name = tok.ident();
            auto ref = get_LifetimeRef(lex, mv$(tok));
            if( GET_TOK(tok, lex) == TOK_COLON )
            {
                bound_start = ret.m_bounds.size();
                if( lex.lookahead(0) == TOK_LIFETIME ) {
                    do {
                        GET_CHECK_TOK(tok, lex, TOK_LIFETIME);
                        ret.add_bound(AST::GenericBound::make_Lifetime({ AST::LifetimeRef(ref), get_LifetimeRef(lex, mv$(tok)) }));
                    } while( GET_TOK(tok, lex) == TOK_PLUS );
                }
                else {
                    GET_TOK(tok, lex);
                }
                bound_end = ret.m_bounds.size();
            }
            ret.add_lft_param(::AST::LifetimeParam(lex.point_span(), ::std::move(attrs), param_name ), bound_start, bound_end);
        }
        else if( tok.type() == TOK_RWORD_CONST )
        {
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            auto param_name = tok.ident();
            GET_CHECK_TOK(tok, lex, TOK_COLON);
            auto ty = Parse_Type(lex);

            AST::Expr  val;
            if( GET_TOK(tok, lex) == TOK_EQUAL )
            {
                if( lex.lookahead(0) == TOK_BRACE_OPEN ) {
                    val = Parse_ExprBlock(lex);
                }
                else {
                    val = Parse_ExprVal(lex);
                }
                GET_TOK(tok, lex);
            }

            ret.add_value_param(lex.point_span(), mv$(attrs), mv$(param_name), mv$(ty), mv$(val));
        }
        else
        {
            throw ParseError::Unexpected(lex, tok, {TOK_IDENT, TOK_LIFETIME});
        }
    } while( tok.type() == TOK_COMMA );

    if(tok.type() == TOK_GT) {
    }
    else if(tok.type() == TOK_GTE) {
        lex.putback(TOK_EQUAL);
    }
    else {
        throw ParseError::Unexpected(lex, tok, {TOK_GT, TOK_GTE});
    }
    return ret;
}
AST::GenericParams Parse_GenericParamsOpt(TokenStream& lex)
{
    if( lex.getTokenIf(TOK_LT) )
    {
        return Parse_GenericParams(lex);
    }
    else {
        return AST::GenericParams();
    }
}


/// Parse the contents of a 'where' clause
void Parse_WhereClause(TokenStream& lex, AST::GenericParams& params)
{
    TRACE_FUNCTION;
    Token   tok;

    do {
        GET_TOK(tok, lex);
        if( tok.type() == TOK_BRACE_OPEN ) {
            break;
        }

        if( tok.type() == TOK_LIFETIME )
        {
            auto lhs = get_LifetimeRef(lex, mv$(tok));
            GET_CHECK_TOK(tok, lex, TOK_COLON);
            do {
                GET_CHECK_TOK(tok, lex, TOK_LIFETIME);
                auto rhs = get_LifetimeRef(lex, mv$(tok));
                params.add_bound( AST::GenericBound::make_Lifetime({lhs, rhs}) );
            } while( GET_TOK(tok, lex) == TOK_PLUS );
            PUTBACK(tok, lex);
        }
        // Higher-ranked types/lifetimes
        else if( tok.type() == TOK_RWORD_FOR )
        {
            auto hrbs = Parse_HRB(lex);

            TypeRef type = Parse_Type(lex);
            GET_CHECK_TOK(tok, lex, TOK_COLON);
            Parse_TypeBound(lex,params, mv$(type), mv$(hrbs));
        }
        else
        {
            PUTBACK(tok, lex);
            TypeRef type = Parse_Type(lex);
            GET_CHECK_TOK(tok, lex, TOK_COLON);
            Parse_TypeBound(lex, params, mv$(type));
        }
    } while( GET_TOK(tok, lex) == TOK_COMMA );
    PUTBACK(tok, lex);
}

// Parse a single function argument
AST::Function::Arg Parse_Function_Arg(TokenStream& lex, bool expect_named)
{
    TRACE_FUNCTION_F("expect_named = " << expect_named);
    Token   tok;

    auto attrs = Parse_ItemAttrs(lex);

    // If any of the following
    // - Expecting a named parameter (i.e. defining a function in root or impl)
    // - Next token is an underscore (only valid as a pattern here)
    // - Next token is 'mut' (a mutable parameter slot) or 'ref' (ref pattern)
    // - Next two are <ident> ':' (a trivial named parameter)
    // NOTE: When not expecting a named param, destructuring patterns are not allowed
    AST::Pattern    pat;
    if( expect_named
      || LOOK_AHEAD(lex) == TOK_UNDERSCORE
      || LOOK_AHEAD(lex) == TOK_RWORD_REF
      || LOOK_AHEAD(lex) == TOK_RWORD_MUT
      || (LOOK_AHEAD(lex) == TOK_IDENT && lex.lookahead(1) == TOK_COLON)
      )
    {
        pat = Parse_Pattern(lex, AllowOrPattern::No);
        GET_CHECK_TOK(tok, lex, TOK_COLON);
    }

    auto ty = Parse_Type(lex);

    return AST::Function::Arg(mv$(pat), mv$(ty), mv$(attrs));
}

/// Parse a function definition (after the 'fn <name>')
AST::Function Parse_FunctionDef(TokenStream& lex, bool allow_self, bool can_be_prototype, std::string abi, AST::Function::Flags flags)
{
    TRACE_FUNCTION;
    ProtoSpan   ps = lex.start_span();

    Token   tok;

    // Parameters
    AST::GenericParams params = Parse_GenericParamsOpt(lex);

    AST::Function::Arglist  args;

    GET_CHECK_TOK(tok, lex, TOK_PAREN_OPEN);
    GET_TOK(tok, lex);

    // Handle self
    if( tok.type() == TOK_AMP )
    {
        // By-reference method?

        unsigned int ofs = 0;
        // Handle a lifetime parameter name
        if( lex.lookahead(0) == TOK_LIFETIME )
            ofs ++;

        if( lex.lookahead(ofs) == TOK_RWORD_SELF || (lex.lookahead(ofs) == TOK_RWORD_MUT && lex.lookahead(ofs+1) == TOK_RWORD_SELF) )
        {
            auto ps = lex.start_span();
            AST::LifetimeRef lifetime;
            if( GET_TOK(tok, lex) == TOK_LIFETIME ) {
                lifetime = get_LifetimeRef(lex, mv$(tok));
                GET_TOK(tok, lex);
            }

            bool is_mut = false;
            if( tok.type() == TOK_RWORD_MUT )
            {
                is_mut = true;
                GET_TOK(tok, lex);
            }
            CHECK_TOK(tok, TOK_RWORD_SELF);
            auto sp = lex.end_span(ps);
            args.push_back( AST::Function::Arg( AST::Pattern(AST::Pattern::TagBind(), sp, "self"), TypeRef(TypeRef::TagReference(), sp, ::std::move(lifetime), is_mut, TypeRef(sp, "Self", 0xFFFF))) );
            if( allow_self == false )
                ERROR(lex.point_span(), E0000, "Self binding not expected here");

            // Prime tok for next step
            GET_TOK(tok, lex);
        }
        else
        {
            // Unbound method
        }
    }
    else if( tok.type() == TOK_RWORD_MUT )
    {
        if( LOOK_AHEAD(lex) == TOK_RWORD_SELF )
        {
            GET_TOK(tok, lex);
            if( allow_self == false )
                throw ParseError::Generic(lex, "Self binding not expected");
            auto binding_sp = lex.end_span(ps);
            TypeRef ty = TypeRef( lex.point_span(), "Self", 0xFFFF );
            if( GET_TOK(tok, lex) == TOK_COLON ) {
                // Typed mut self
                ty = Parse_Type(lex);
            }
            else {
                PUTBACK(tok, lex);
            }
            args.push_back( AST::Function::Arg( AST::Pattern(AST::Pattern::TagBind(), binding_sp, "self"), mv$(ty)) );
            GET_TOK(tok, lex);
        }
    }
    else if( tok.type() == TOK_RWORD_SELF )
    {
        // By-value method
        if( allow_self == false )
            throw ParseError::Generic(lex, "Self binding not expected");
        auto binding_sp = lex.end_span(ps);
        TypeRef ty = TypeRef( lex.point_span(), "Self", 0xFFFF );
        if( GET_TOK(tok, lex) == TOK_COLON ) {
            // Typed mut self
            ty = Parse_Type(lex);
        }
        else {
            PUTBACK(tok, lex);
        }
        args.push_back( AST::Function::Arg( AST::Pattern(AST::Pattern::TagBind(), binding_sp, "self"), mv$(ty)) );
        GET_TOK(tok, lex);
    }
    else
    {
        // Unbound method
    }

    // In 2018, patterns must always be provided
    if( lex.edition_after(AST::Edition::Rust2018) )
    {
        can_be_prototype = false;
    }

    bool    is_variadic = false;
    if( tok.type() != TOK_PAREN_CLOSE )
    {
        // Comma after self
        if( args.size() )
        {
            CHECK_TOK(tok, TOK_COMMA);
        }
        else {
            PUTBACK(tok, lex);
        }

        // Argument list
        do {
            if( LOOK_AHEAD(lex) == TOK_PAREN_CLOSE ) {
                GET_TOK(tok, lex);
                break;
            }
            if( LOOK_AHEAD(lex) == TOK_TRIPLE_DOT ) {
                GET_TOK(tok, lex);
                is_variadic = true;
                GET_TOK(tok, lex);
                break;
            }
            args.push_back( Parse_Function_Arg(lex, !can_be_prototype) );
        } while( GET_TOK(tok, lex) == TOK_COMMA );
        CHECK_TOK(tok, TOK_PAREN_CLOSE);
    }
    else {
        // Eat 'tok', negative comparison
    }

    TypeRef ret_type = TypeRef(TypeRef::TagUnit(), lex.point_span());
    if( GET_TOK(tok, lex) == TOK_THINARROW )
    {
        // Return type
        ret_type = Parse_Type(lex);
    }
    else
    {
        PUTBACK(tok, lex);
    }

    if( GET_TOK(tok, lex) == TOK_RWORD_WHERE )
    {
        Parse_WhereClause(lex, params);
    }
    else {
        PUTBACK(tok, lex);
    }

    return AST::Function(lex.end_span(ps), mv$(abi), mv$(flags), mv$(params), mv$(ret_type), mv$(args), is_variadic);
}

AST::Function Parse_FunctionDefWithCode(TokenStream& lex, bool allow_self, std::string abi, AST::Function::Flags flags)
{
    Token   tok;
    auto ret = Parse_FunctionDef(lex, allow_self, /*can_be_prototype=*/false, std::move(abi), flags);
    GET_TOK(tok, lex);
    if( tok == TOK_BRACE_OPEN ) {
    }
    else if( tok.type() == TOK_INTERPOLATED_BLOCK ) {
    }
    else {
        throw ParseError::Unexpected(lex, tok, { TOK_BRACE_OPEN, TOK_INTERPOLATED_BLOCK });
    }
    // Enter a new hygine scope for the function (TODO: Should this be in Parse_ExprBlock?)
    lex.push_hygine();
    PUTBACK(tok, lex);
    ret.set_code( Parse_ExprBlock(lex) );
    lex.pop_hygine();
    return ret;
}

AST::TypeAlias Parse_TypeAlias(TokenStream& lex)
{
    TRACE_FUNCTION;

    Token   tok;

    // Params
    AST::GenericParams params = Parse_GenericParamsOpt(lex);

    GET_TOK(tok, lex);
    if( tok.type() == TOK_RWORD_WHERE )
    {
        Parse_WhereClause(lex, params);
        GET_TOK(tok, lex);
    }
    CHECK_TOK(tok, TOK_EQUAL);

    // Type
    TypeRef type = Parse_Type(lex);
    GET_CHECK_TOK(tok, lex, TOK_SEMICOLON);

    return AST::TypeAlias( ::std::move(params), ::std::move(type) );
}

AST::Struct Parse_Struct(TokenStream& lex, const AST::AttributeList& meta_items)
{
    TRACE_FUNCTION;

    Token   tok;

    tok = lex.getToken();
    AST::GenericParams params;
    if( tok.type() == TOK_LT )
    {
        params = Parse_GenericParams(lex);
        tok = lex.getToken();
    }

    if(tok.type() == TOK_PAREN_OPEN)
    {
        // Tuple structs
        ::std::vector<AST::TupleItem>  refs;
        while(lex.lookahead(0) != TOK_PAREN_CLOSE)
        {
            auto item_attrs = Parse_ItemAttrs(lex);
            SET_ATTRS(lex, item_attrs);

            auto vis = Parse_Publicity(lex, /*allow_restricted=*/false);  // HACK: Disable `pub(restricted)` syntax in tuple structs, due to ambiguity

            refs.push_back( AST::TupleItem( mv$(item_attrs), vis, Parse_Type(lex) ) );
            if( GET_TOK(tok, lex) != TOK_COMMA ) {
                PUTBACK(tok, lex);
                break;
            }
        }
        GET_CHECK_TOK(tok, lex, TOK_PAREN_CLOSE);

        if(LOOK_AHEAD(lex) == TOK_RWORD_WHERE)
        {
            GET_TOK(tok, lex);
            Parse_WhereClause(lex, params);
        }
        GET_CHECK_TOK(tok, lex, TOK_SEMICOLON);
        //if( refs.size() == 0 )
        //    WARNING( , W000, "Use 'struct Name;' instead of 'struct Name();' ... ning-nong");
        return AST::Struct(mv$(params), mv$(refs));
    }
    else
    {
        // Unit-like struct
        if(tok.type() == TOK_RWORD_WHERE)
        {
            Parse_WhereClause(lex, params);
            tok = lex.getToken();
        }

        if( tok.type() == TOK_SEMICOLON )
        {
            CHECK_TOK(tok, TOK_SEMICOLON);
            return AST::Struct(mv$(params));
        }
        else if(tok.type() == TOK_BRACE_OPEN)
        {
            ::std::vector<AST::StructItem>  items;
            while( GET_TOK(tok, lex) != TOK_BRACE_CLOSE )
            {
                PUTBACK(tok, lex);

                auto item_attrs = Parse_ItemAttrs(lex);
                SET_ATTRS(lex, item_attrs);

                auto vis = Parse_Publicity(lex);

                GET_CHECK_TOK(tok, lex, TOK_IDENT);
                auto name = tok.ident().name;
                GET_CHECK_TOK(tok, lex, TOK_COLON);
                TypeRef type = Parse_Type(lex);

                items.push_back( AST::StructItem( mv$(item_attrs), vis, mv$(name), mv$(type) ) );
                if(GET_TOK(tok, lex) == TOK_BRACE_CLOSE)
                    break;
                CHECK_TOK(tok, TOK_COMMA);
            }
            //if( items.size() == 0 )
            //    WARNING( , W000, "Use 'struct Name;' instead of 'struct Nam { };' ... ning-nong");
            return AST::Struct(mv$(params), mv$(items));
        }
        else
        {
            throw ParseError::Unexpected(lex, tok);
        }
    }
}

AST::Named<AST::Item> Parse_Trait_Item(TokenStream& lex)
{
    Token   tok;

    auto item_attrs = Parse_ItemAttrs(lex);
    SET_ATTRS(lex, item_attrs);

    auto ps = lex.start_span();

    {
        ::AST::MacroInvocation  inv;
        if( Parse_MacroInvocation_Opt(lex, inv) )
        {
            return ::AST::Named< ::AST::Item> { lex.end_span(ps), mv$(item_attrs), AST::Visibility::make_global(), "", ::AST::Item( mv$(inv) ) };
        }
    }

    GET_TOK(tok, lex);
    bool is_specialisable = false;
    if( tok.type() == TOK_IDENT && tok.ident().name == "default" ) {
        is_specialisable = true;
        GET_TOK(tok, lex);
    }
    // TODO: Mark specialisation
    (void)is_specialisable;

    std::string abi = ABI_RUST;
    AST::Function::Flags    fn_flags;

    RcString    name;
    ::AST::Item   rv;
    switch(tok.type())
    {
    case TOK_RWORD_STATIC: {
        GET_CHECK_TOK(tok, lex, TOK_IDENT);
        name = tok.ident().name;
        GET_CHECK_TOK(tok, lex, TOK_COLON);
        auto ty = Parse_Type(lex);
        GET_CHECK_TOK(tok, lex, TOK_SEMICOLON);

        ::AST::Expr val;
        if(GET_TOK(tok, lex) == TOK_EQUAL) {
            val = Parse_Expr(lex);
            GET_TOK(tok, lex);
        }
        CHECK_TOK(tok, TOK_SEMICOLON);

        rv = ::AST::Static(::AST::Static::STATIC, mv$(ty), val);
        break; }
    case TOK_RWORD_CONST: {
        GET_CHECK_TOK(tok, lex, TOK_IDENT);
        name = tok.ident().name;
        GET_CHECK_TOK(tok, lex, TOK_COLON);
        auto ty = Parse_Type(lex);

        ::AST::Expr val;
        if(GET_TOK(tok, lex) == TOK_EQUAL) {
            val = Parse_Expr(lex);
            GET_TOK(tok, lex);
        }
        CHECK_TOK(tok, TOK_SEMICOLON);

        rv = ::AST::Static(AST::Static::CONST, mv$(ty), val);
        break; }
    // Associated type
    case TOK_RWORD_TYPE: {
        GET_CHECK_TOK(tok, lex, TOK_IDENT);
        name = tok.ident().name;
        auto type_params = Parse_GenericParamsOpt(lex);
        AST::GenericParams  bounds;
        if( GET_TOK(tok, lex) == TOK_COLON )
        {
            // Bounded associated type
            Parse_TypeBound(lex, bounds, TypeRef(lex.point_span(), "Self", 0xFFFF));
            GET_TOK(tok, lex);
        }

        TypeRef default_type = TypeRef( lex.point_span() );
        if( tok.type() == TOK_EQUAL ) {
            default_type = Parse_Type(lex);
            GET_TOK(tok, lex);
        }
        if( tok.type() == TOK_RWORD_WHERE ) {
            Parse_WhereClause(lex, type_params);
            GET_TOK(tok, lex);
        }

        CHECK_TOK(tok, TOK_SEMICOLON);
        rv = ::AST::TypeAlias::new_associated_type( mv$(type_params), mv$(bounds), mv$(default_type) );
        break; }

    // Functions (possibly unsafe)
    case TOK_RWORD_UNSAFE:
        fn_flags.is_unsafe = true;
        if( lex.getTokenIf(TOK_RWORD_ASYNC) )
    case TOK_RWORD_ASYNC:
        {
            fn_flags.is_async = true;
        }
        if( lex.getTokenIf(TOK_RWORD_EXTERN) )
    case TOK_RWORD_EXTERN:
        {
            if( GET_TOK(tok, lex) == TOK_STRING ) {
                abi = tok.str();
            }
            else {
                abi = "C";
                PUTBACK(tok, lex);
            }
        }
        GET_CHECK_TOK(tok, lex, TOK_RWORD_FN);
    case TOK_RWORD_FN: {
        GET_CHECK_TOK(tok, lex, TOK_IDENT);
        name = tok.ident().name;
        // Self allowed, prototype-form allowed (optional names and no code)
        auto fcn = Parse_FunctionDef(lex, /*allow_self*/true, /*can_be_proto*/true, std::move(abi), fn_flags);
        if( GET_TOK(tok, lex) == TOK_BRACE_OPEN )
        {
            PUTBACK(tok, lex);
            // Enter a new hygine scope for the function body. (TODO: Should this be in Parse_ExprBlock?)
            lex.push_hygine();
            fcn.set_code( Parse_ExprBlock(lex) );
            lex.pop_hygine();
        }
        else if( tok.type() == TOK_SEMICOLON )
        {
            // Accept it
        }
        else
        {
            throw ParseError::Unexpected(lex, tok);
        }
        rv = ::std::move(fcn);
        break; }
    default:
        throw ParseError::Unexpected(lex, tok);
    }

    return ::AST::Named<::AST::Item>( lex.end_span(ps), mv$(item_attrs), AST::Visibility::make_global(), mv$(name), mv$(rv) );
}

AST::Trait Parse_TraitDef(TokenStream& lex, const AST::AttributeList& meta_items, AST::GenericParams params)
{
    TRACE_FUNCTION;

    Token   tok;

    GET_TOK(tok, lex);

    // Trait bounds "trait Trait : 'lifetime + OtherTrait + OtherTrait2"
    ::std::vector<Spanned<Type_TraitPath> >    supertraits;
    ::std::vector<Spanned<AST::LifetimeRef> >    lifetimes;
    if(tok.type() == TOK_COLON)
    {
        // TODO: Just add these as `where Self: <foo>` (would that break typecheck?)
        do {
            if( GET_TOK(tok, lex) == TOK_LIFETIME ) {
                lifetimes.push_back( GET_SPANNED(AST::LifetimeRef, lex, ::AST::LifetimeRef(tok.ident()) ) );
            }
            else if( tok.type() == TOK_BRACE_OPEN ) {
                break;
            }
            else {
                PUTBACK(tok, lex);
                auto hrbs = Parse_HRB_Opt(lex);
                supertraits.push_back( GET_SPANNED(Type_TraitPath, lex, (Type_TraitPath(mv$(hrbs), Parse_Path(lex, PATH_GENERIC_TYPE)) )) );
            }
        } while( GET_TOK(tok, lex) == TOK_PLUS );
    }

    if(tok.type() == TOK_RWORD_WHERE)
    {
        //if( params.ty_params().size() == 0 )
        //    throw ParseError::Generic("Where clause with no generic params");
        Parse_WhereClause(lex, params);
        tok = lex.getToken();
    }


    AST::Trait trait( mv$(params), mv$(supertraits), mv$(lifetimes) );

    CHECK_TOK(tok, TOK_BRACE_OPEN);
    while( GET_TOK(tok, lex) != TOK_BRACE_CLOSE )
    {
        PUTBACK(tok, lex);

        trait.items().push_back( Parse_Trait_Item(lex) );
    }

    return trait;
}

AST::Enum Parse_EnumDef(TokenStream& lex, const AST::AttributeList& meta_items)
{
    TRACE_FUNCTION;

    Token   tok;

    tok = lex.getToken();
    // Type params supporting "where"
    AST::GenericParams params;
    if( tok.type() == TOK_LT )
    {
        params = Parse_GenericParams(lex);
        if(GET_TOK(tok, lex) == TOK_RWORD_WHERE)
        {
            Parse_WhereClause(lex, params);
            tok = lex.getToken();
        }
    }

    // Body
    CHECK_TOK(tok, TOK_BRACE_OPEN);
    ::std::vector<AST::EnumVariant>   variants;
    while( GET_TOK(tok, lex) != TOK_BRACE_CLOSE )
    {
        auto sp = lex.start_span();
        PUTBACK(tok, lex);

        auto item_attrs = Parse_ItemAttrs(lex);
        SET_ATTRS(lex, item_attrs);

        GET_CHECK_TOK(tok, lex, TOK_IDENT);
        auto name = tok.ident().name;
        // Tuple-like variants
        if( GET_TOK(tok, lex) == TOK_PAREN_OPEN )
        {
            ::std::vector<AST::TupleItem>  items;
            // Get type list
            do
            {
                if(LOOK_AHEAD(lex) == TOK_PAREN_CLOSE)
                {
                    GET_TOK(tok, lex);
                    break;
                }

                auto field_attrs = Parse_ItemAttrs(lex);
                auto ty = Parse_Type(lex);
                items.emplace_back( std::move(field_attrs), AST::Visibility::make_global(), std::move(ty) );
            } while( GET_TOK(tok, lex) == TOK_COMMA );
            CHECK_TOK(tok, TOK_PAREN_CLOSE);
            GET_TOK(tok, lex);
            variants.push_back( AST::EnumVariant(mv$(item_attrs), mv$(name), mv$(items)) );
        }
        // Struct-like variants
        else if( tok.type() == TOK_BRACE_OPEN )
        {
            ::std::vector<::AST::StructItem>   fields;
            do
            {
                if(LOOK_AHEAD(lex) == TOK_BRACE_CLOSE)
                {
                    GET_TOK(tok, lex);
                    break;
                }

                auto field_attrs = Parse_ItemAttrs(lex);

                GET_CHECK_TOK(tok, lex, TOK_IDENT);
                auto name = tok.ident().name;
                GET_CHECK_TOK(tok, lex, TOK_COLON);
                auto ty = Parse_Type(lex);
                fields.push_back( ::AST::StructItem(mv$(field_attrs), AST::Visibility::make_global(), mv$(name), mv$(ty)) );
            } while( GET_TOK(tok, lex) == TOK_COMMA );
            CHECK_TOK(tok, TOK_BRACE_CLOSE);
            GET_TOK(tok, lex);

            variants.push_back( AST::EnumVariant(mv$(item_attrs), mv$(name), mv$(fields)) );
        }
        // Value variants
        else if( tok.type() == TOK_EQUAL )
        {
            auto node = Parse_Expr(lex);
            variants.push_back( AST::EnumVariant(mv$(item_attrs), mv$(name), mv$(node)) );
            GET_TOK(tok, lex);
        }
        // Unit variants
        else
        {
            variants.push_back( AST::EnumVariant(mv$(item_attrs), mv$(name), ::AST::Expr()) );
        }

        if( tok.type() != TOK_COMMA )
            break;
    }
    CHECK_TOK(tok, TOK_BRACE_CLOSE);


    return AST::Enum( mv$(params), mv$(variants) );
}

::AST::Union Parse_Union(TokenStream& lex, AST::AttributeList& meta_items)
{
    Token   tok;

    TRACE_FUNCTION;

    AST::GenericParams params;
    if( GET_TOK(tok, lex) == TOK_LT )
    {
        params = Parse_GenericParams(lex);
        if(GET_TOK(tok, lex) == TOK_RWORD_WHERE)
        {
            Parse_WhereClause(lex, params);
            tok = lex.getToken();
        }
    }

    ::std::vector< ::AST::StructItem>   variants;

    CHECK_TOK(tok, TOK_BRACE_OPEN);
    do {
        if( LOOK_AHEAD(lex) == TOK_BRACE_CLOSE ) {
            GET_TOK(tok, lex);
            break ;
        }

        auto item_attrs = Parse_ItemAttrs(lex);
        SET_ATTRS(lex, item_attrs);

        auto vis = Parse_Publicity(lex);

        GET_CHECK_TOK(tok, lex, TOK_IDENT);
        auto name = tok.ident().name;
        GET_CHECK_TOK(tok, lex, TOK_COLON);

        auto ty = Parse_Type(lex);

        variants.push_back( ::AST::StructItem( mv$(item_attrs), mv$(vis), mv$(name), mv$(ty) ) );

    } while( GET_TOK(tok, lex) == TOK_COMMA );
    CHECK_TOK(tok, TOK_BRACE_CLOSE);

    return ::AST::Union( mv$(params), mv$(variants) );
}

AST::AttributeList Parse_ItemAttrs(TokenStream& lex)
{
    AST::AttributeList  rv;
    Token   tok;
    while( lex.lookahead(0) == TOK_HASH )
    {
        GET_CHECK_TOK(tok, lex, TOK_HASH);
        GET_CHECK_TOK(tok, lex, TOK_SQUARE_OPEN);
        rv.push_back( Parse_MetaItem(lex) );
        GET_CHECK_TOK(tok, lex, TOK_SQUARE_CLOSE);
    }
    return rv;
}
void Parse_ParentAttrs(TokenStream& lex, AST::AttributeList& out)
{
    Token   tok;
    while( lex.lookahead(0) == TOK_HASH && lex.lookahead(1) == TOK_EXCLAM )
    {
        GET_CHECK_TOK(tok, lex, TOK_HASH);
        GET_CHECK_TOK(tok, lex, TOK_EXCLAM);
        GET_CHECK_TOK(tok, lex, TOK_SQUARE_OPEN);
        out.push_back( Parse_MetaItem(lex) );
        GET_CHECK_TOK(tok, lex, TOK_SQUARE_CLOSE);
    }
}
/// Parse a meta-item declaration (either #![ or #[)
AST::Attribute Parse_MetaItem(TokenStream& lex)
{
    TRACE_FUNCTION;
    Token tok;

    if( lex.lookahead(0) == TOK_INTERPOLATED_META ) {
        GET_TOK(tok, lex);
        return mv$(tok.frag_meta());
    }

    auto ps = lex.start_span();

    AST::AttributeName  name;
    // NOTE: After 1.19 mode, values can be present with no name
    if( TARGETVER_LEAST_1_29 && lex.lookahead(0) != TOK_IDENT )
    {
        // Put a fake equals token in the queue
        tok = Token(TOK_EQUAL);
    }
    else
    {
        do {
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            name.elems.push_back(tok.ident().name);
        } while(GET_TOK(tok, lex) == TOK_DOUBLE_COLON);
    }
    TokenTree   attr_data;
    switch(tok.type())
    {
    case TOK_EQUAL: {
        std::vector<TokenTree>  tt;
        tt.push_back(std::move(tok));
        // - Square close (top-level) AND paren close (cfg_attr)
        while(
            lex.lookahead(0) != TOK_EOF
            && lex.lookahead(0) != TOK_SQUARE_CLOSE && lex.lookahead(0) != TOK_PAREN_CLOSE && lex.lookahead(0) != TOK_BRACE_CLOSE
            && lex.lookahead(0) != TOK_COMMA && lex.lookahead(0) != TOK_SEMICOLON
            )
        {
            tt.push_back(Parse_TT(lex, false));
        }
        attr_data = TokenTree(lex.get_edition(), lex.get_hygiene(), std::move(tt));
        } break;
    case TOK_PAREN_OPEN:
    case TOK_SQUARE_OPEN:   // 1.74 - openssl v0.10.57
        PUTBACK(tok, lex);
        attr_data = Parse_TT(lex, false);
        break;
    default:
        // Empty
        PUTBACK(tok, lex);
        break;
    }
    return AST::Attribute(lex.end_span(ps), name, mv$(attr_data));
}

::AST::Item Parse_Impl(TokenStream& lex, AST::AttributeList attrs, bool is_unsafe=false)
{
    TRACE_FUNCTION;
    Token   tok;
    auto ps = lex.start_span();

    AST::GenericParams params;
    // 1. (optional) type parameters
    if( GET_TOK(tok, lex) == TOK_LT )
    {
        params = Parse_GenericParams(lex);
    }
    else {
        PUTBACK(tok, lex);
    }
    // 2. Either a trait name (with type params), or the type to impl

    Spanned<AST::Path>   trait_path;

    // - Handle negative impls specially, which must be a trait
    // "impl !Trait for Type {}"
    if( GET_TOK(tok, lex) == TOK_EXCLAM )
    {
        trait_path = GET_SPANNED(::AST::Path, lex, Parse_Path(lex, PATH_GENERIC_TYPE));
        GET_CHECK_TOK(tok, lex, TOK_RWORD_FOR);
        auto impl_type = Parse_Type(lex, true);

        if( GET_TOK(tok, lex) == TOK_RWORD_WHERE )
        {
            Parse_WhereClause(lex, params);
            GET_TOK(tok, lex);
        }
        CHECK_TOK(tok, TOK_BRACE_OPEN);
        // negative impls can't have any content
        GET_CHECK_TOK(tok, lex, TOK_BRACE_CLOSE);

        return ::AST::Item::make_NegImpl(AST::ImplDef( mv$(attrs), mv$(params), mv$(trait_path), mv$(impl_type) ));
    }

    // - Don't care which at this stage
    PUTBACK(tok, lex);

    auto impl_type = Parse_Type(lex, true);

    if( GET_TOK(tok, lex) == TOK_RWORD_FOR )
    {
        // Trickery! All traits parse as valid types, so this works.
        if( !impl_type.is_path() )
            throw ParseError::Generic(lex, "Trait was not a path");
        trait_path = Spanned< AST::Path> {
            impl_type.span(),
            mv$(impl_type.path())
            };
        // Implementing a trait for another type, get the target type
        if( GET_TOK(tok, lex) == TOK_DOUBLE_DOT )
        {
            // Default impl
            impl_type = TypeRef(TypeRef::TagInvalid(), lex.point_span());
        }
        else
        {
            PUTBACK(tok, lex);
            impl_type = Parse_Type(lex, true);
        }
    }
    else {
        PUTBACK(tok, lex);
    }

    // Where clause
    if( GET_TOK(tok, lex) == TOK_RWORD_WHERE )
    {
        Parse_WhereClause(lex, params);
    }
    else {
        PUTBACK(tok, lex);
    }
    GET_CHECK_TOK(tok, lex, TOK_BRACE_OPEN);

    Parse_ParentAttrs(lex,  attrs);

    auto impl = AST::Impl(AST::ImplDef( mv$(attrs), mv$(params), mv$(trait_path), mv$(impl_type) ));

    // A sequence of method implementations
    while( lex.lookahead(0) != TOK_BRACE_CLOSE )
    {
        Parse_Impl_Item(lex, impl);
    }
    GET_CHECK_TOK(tok, lex, TOK_BRACE_CLOSE);

    return ::AST::Item::make_Impl( mv$(impl) );
}

void Parse_Impl_Item(TokenStream& lex, AST::Impl& impl)
{
    TRACE_FUNCTION;
    Token   tok;

    auto item_attrs = Parse_ItemAttrs(lex);
    SET_ATTRS(lex, item_attrs);

    {
        ::AST::MacroInvocation  inv;
        if( Parse_MacroInvocation_Opt(lex,  inv) )
        {
            impl.add_macro_invocation( mv$(inv) );
            impl.items().back().attrs = mv$(item_attrs);
            return ;
        }
    }

    auto ps = lex.start_span();

    auto vis = Parse_Publicity(lex);
    GET_TOK(tok, lex);

    bool is_specialisable = false;
    if( tok.type() == TOK_IDENT && tok.ident().name == "default" ) {
        is_specialisable = true;
        GET_TOK(tok, lex);
    }

    ::std::string   abi = ABI_RUST;
    AST::Function::Flags    fn_flags;
    switch(tok.type())
    {
    case TOK_RWORD_TYPE: {
        GET_CHECK_TOK(tok, lex, TOK_IDENT);
        auto name = tok.ident().name;
        auto atype_params = Parse_GenericParamsOpt(lex);
        GET_CHECK_TOK(tok, lex, TOK_EQUAL);
        auto ty = Parse_Type(lex);
        if( lex.getTokenIf(TOK_RWORD_WHERE) ) {
            Parse_WhereClause(lex, atype_params);
        }
        GET_CHECK_TOK(tok, lex, TOK_SEMICOLON);
        impl.add_type(lex.end_span(ps), mv$(item_attrs), vis, is_specialisable, name, mv$(atype_params), mv$(ty));
        break; }
    case TOK_RWORD_UNSAFE:
        fn_flags.is_unsafe = true;
        GET_TOK(tok, lex);
        if( tok.type() == TOK_RWORD_CONST )
    case TOK_RWORD_CONST:
        {
            GET_TOK(tok, lex);
            if( tok.type() != TOK_RWORD_FN && tok.type() != TOK_RWORD_UNSAFE && !fn_flags.is_unsafe )
            {
                CHECK_TOK(tok, TOK_IDENT);
                auto name = tok.ident().name;
                GET_CHECK_TOK(tok, lex, TOK_COLON);
                auto ty = Parse_Type(lex);
                GET_CHECK_TOK(tok, lex, TOK_EQUAL);
                auto val = Parse_Expr(lex);
                GET_CHECK_TOK(tok, lex, TOK_SEMICOLON);

                auto i = ::AST::Static(AST::Static::CONST, mv$(ty), mv$(val));
                impl.add_static( lex.end_span(ps), mv$(item_attrs), vis, is_specialisable, mv$(name),  mv$(i) );
                break ;
            }
            else if( tok.type() == TOK_RWORD_UNSAFE )
            {
                fn_flags.is_unsafe = true;
                GET_CHECK_TOK(tok, lex, TOK_RWORD_FN);
            }
            fn_flags.is_const = true;
        }
        if( tok.type() == TOK_RWORD_EXTERN )
        // FALL
    case TOK_RWORD_EXTERN:
        {
            if( GET_TOK(tok, lex) == TOK_STRING ) {
                abi = tok.str();
                GET_TOK(tok, lex);
            }
            else {
                abi = "C";
            }
        }
        // FALL
        if( tok.type() == TOK_RWORD_ASYNC )
    case TOK_RWORD_ASYNC:
        {
            fn_flags.is_async = true;
            GET_TOK(tok, lex);
        }
        CHECK_TOK(tok, TOK_RWORD_FN);
    case TOK_RWORD_FN: {
        GET_CHECK_TOK(tok, lex, TOK_IDENT);
        // TODO: Hygine on function names? - Not in impl blocks?
        auto name = tok.ident().name;
        DEBUG("Function " << name);
        // - Self allowed, can't be prototype-form
        auto fcn = Parse_FunctionDefWithCode(lex, /*allow_self=*/true,  std::move(abi), fn_flags);
        impl.add_function(lex.end_span(ps), mv$(item_attrs), vis, is_specialisable, mv$(name), mv$(fcn));
        break; }

    default:
        throw ParseError::Unexpected(lex, tok);
    }
}

AST::ExternBlock Parse_ExternBlock(TokenStream& lex, ::std::string abi, ::AST::AttributeList& block_attrs)
{
    TRACE_FUNCTION;
    Token   tok;

    Parse_ParentAttrs(lex,  block_attrs);

    AST::ExternBlock    rv { abi };

    while( GET_TOK(tok, lex) != TOK_BRACE_CLOSE )
    {
        PUTBACK(tok, lex);
        auto meta_items = Parse_ItemAttrs(lex);
        SET_ATTRS(lex, meta_items);

        auto ps = lex.start_span();

        auto vis = Parse_Publicity(lex);
        switch( GET_TOK(tok, lex) )
        {
        case TOK_RWORD_FN: {
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            auto name = tok.ident().name;
            // parse function as prototype
            // - no self, is prototype, is unsafe and not const
            auto i = ::AST::Item( Parse_FunctionDef(lex, /*allow_self*/false, /*can_be_prototype=*/true, abi, AST::Function::Flags::make_unsafe()) );
            GET_CHECK_TOK(tok, lex, TOK_SEMICOLON);

            rv.add_item( AST::Named<AST::Item> { lex.end_span(ps), mv$(meta_items), vis, mv$(name), mv$(i) } );
            break; }
        case TOK_RWORD_STATIC: {
            bool is_mut = false;
            if( GET_TOK(tok, lex) == TOK_RWORD_MUT )
                is_mut = true;
            else
                PUTBACK(tok, lex);
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            auto name = tok.ident().name;
            GET_CHECK_TOK(tok, lex, TOK_COLON);
            auto type = Parse_Type(lex);
            GET_CHECK_TOK(tok, lex, TOK_SEMICOLON);

            auto i = ::AST::Item(::AST::Static( (is_mut ? ::AST::Static::MUT : ::AST::Static::STATIC),  mv$(type), ::AST::Expr() ));
            rv.add_item( AST::Named<AST::Item> { lex.end_span(ps), mv$(meta_items), vis,  mv$(name), mv$(i) } );
            break; }
        case TOK_RWORD_TYPE: {
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            auto name = tok.ident().name;
            GET_CHECK_TOK(tok, lex, TOK_SEMICOLON);
            auto sp = lex.end_span(ps);
            //TODO(sp, "Extern type");
            auto i = ::AST::Item(::AST::TypeAlias( ::AST::GenericParams(), ::TypeRef(sp) ));
            rv.add_item( AST::Named<AST::Item> { mv$(sp), mv$(meta_items), vis, mv$(name), mv$(i) } );
            break; }
        default:
            throw ParseError::Unexpected(lex, tok, {TOK_RWORD_FN, TOK_RWORD_STATIC, TOK_RWORD_TYPE});
        }
    }

    return rv;
}

RcString get_optional_ident(TokenStream& lex)
{
    Token   tok;
    GET_TOK(tok, lex);
    if( tok.type() == TOK_UNDERSCORE ) {
        static unsigned anon_index = 0;
        return RcString::new_interned(FMT(" " << anon_index++));
        //return RcString::new_interned(FMT(" " << lex.parse_state().module->m_anon_ident_index++));
    }
    else if( tok.type() == TOK_IDENT ) {
        return tok.ident().name;
    }
    else {
        throw ParseError::Unexpected(lex, tok, {TOK_UNDERSCORE, TOK_IDENT});
    }
}

/// Parse multiple items from a use "statement"
void Parse_Use_Inner(TokenStream& lex, ::std::vector<AST::UseItem::Ent>& entries, AST::Path& path)
{
    TRACE_FUNCTION_FR(path, entries);
    Token   tok;

    do
    {
        switch( GET_TOK(tok, lex) )
        {
        case TOK_IDENT:
            path.append( AST::PathNode( tok.ident().name, {}) );
            break;
        case TOK_BRACE_OPEN:
            // Can't be an empty list
            if( LOOK_AHEAD(lex) == TOK_BRACE_CLOSE ) {
                throw ParseError::Unexpected(lex, tok);
            }
            // Keep looping until a comma
            do {
                if( LOOK_AHEAD(lex) == TOK_BRACE_CLOSE ) {
                    // Trailing comma
                    GET_TOK(tok, lex);
                    break;
                }
                // - Handle `self` in braces differently
                else if( LOOK_AHEAD(lex) == TOK_RWORD_SELF ) {
                    GET_TOK(tok, lex);
                    auto name = path.nodes().back().name();
                    if( LOOK_AHEAD(lex) == TOK_RWORD_AS ) {
                        GET_CHECK_TOK(tok, lex, TOK_RWORD_AS);
                        name = get_optional_ident(lex);
                    }
                    entries.push_back({ lex.point_span(), AST::Path(path), ::std::move(name) });
                }
                else {
                    size_t l = path.nodes().size();

                    Parse_Use_Inner(lex, entries, path);

                    assert(l <= path.nodes().size());
                    path.nodes().resize( l );
                }
            } while( GET_TOK(tok, lex) == TOK_COMMA );
            CHECK_TOK(tok, TOK_BRACE_CLOSE);
            return;
        case TOK_STAR:
            entries.push_back({ lex.point_span(), AST::Path(path), "" });
            return ;
        default:
            throw ParseError::Unexpected(lex, tok);
        }
    } while( GET_TOK(tok, lex) == TOK_DOUBLE_COLON );

    RcString name;

    // NOTE: The above loop has to run once, so the last token HAS to have been an ident
    if( tok.type() == TOK_RWORD_AS )
    {
        name = get_optional_ident(lex);
    }
    else
    {
        PUTBACK(tok, lex);
        ASSERT_BUG(lex.point_span(), path.nodes().size() > 0, "`use` with no path");
        name = path.nodes().back().name();
    }

    // TODO: Get a span covering the final node.
    entries.push_back({ lex.point_span(), AST::Path(path), ::std::move(name) });
}
void Parse_Use_Root(TokenStream& lex, ::std::vector<AST::UseItem::Ent>& entries)
{
    AST::Path   path = AST::Path("", {});
    Token   tok;
    switch( GET_TOK(tok, lex) )
    {
    case TOK_RWORD_SELF:
        path = AST::Path::new_self( {} );    // relative path
        GET_CHECK_TOK(tok, lex, TOK_DOUBLE_COLON);
        break;
    case TOK_RWORD_SUPER: {
        unsigned int count = 1;
        while( LOOK_AHEAD(lex) == TOK_DOUBLE_COLON && lex.lookahead(1) == TOK_RWORD_SUPER ) {
            GET_CHECK_TOK(tok, lex, TOK_DOUBLE_COLON);
            GET_CHECK_TOK(tok, lex, TOK_RWORD_SUPER);
            count += 1;
        }
        path = AST::Path::new_super( count, {} );
        GET_CHECK_TOK(tok, lex, TOK_DOUBLE_COLON);
        break; }
    case TOK_RWORD_CRATE:
        if( lex.lookahead(0) == TOK_RWORD_AS ) {
            GET_CHECK_TOK(tok, lex, TOK_RWORD_AS);
            auto name = get_optional_ident(lex);
            entries.push_back({ lex.point_span(), AST::Path(path), ::std::move(name) });
            return;
        }
        // 1.29 absolute path
        GET_CHECK_TOK(tok, lex, TOK_DOUBLE_COLON);
        break;
        // Leading :: is allowed and ignored for the $crate feature
    case TOK_DOUBLE_COLON:
        // Absolute path
        // HACK! mrustc emits $crate as `::"crate-name"`
        if( LOOK_AHEAD(lex) == TOK_STRING )
        {
            GET_CHECK_TOK(tok, lex, TOK_STRING);
            path = ::AST::Path(RcString::new_interned(tok.str()), {});
        }
        else if( lex.edition_after(AST::Edition::Rust2018) )
        {
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            // HACK: if the crate name starts with `=` it's a 2018 absolute path (references a crate loaded with `--extern`)
            path = ::AST::Path(RcString(std::string("=") + tok.ident().name.c_str()), {});
            // TODO: Is `use ::foo as bar` valid?
            if(lex.lookahead(0) != TOK_DOUBLE_COLON)
            {
                RcString    name;
                if( lex.lookahead(0) == TOK_RWORD_AS )
                {
                    GET_CHECK_TOK(tok, lex, TOK_RWORD_AS);
                    name = get_optional_ident(lex);
                }
                else
                {
                    name = path.m_class.as_Absolute().crate.c_str() + 1;
                }

                // TODO: Get a span covering the final node.
                entries.push_back({ lex.point_span(), AST::Path(path), ::std::move(name) });
                return ;
            }
        }
        else
        {
            PUTBACK(tok, lex);
        }
        GET_CHECK_TOK(tok, lex, TOK_DOUBLE_COLON);
        break;
    case TOK_INTERPOLATED_TYPE: {
        if( !tok.frag_type().is_path() ) {
            throw ParseError::Unexpected(lex, tok);
        }
        auto& p = tok.frag_type().path();
        if( p.m_class.is_UFCS() ) {
            throw ParseError::Unexpected(lex, tok);
        }
        path = std::move(tok.frag_type().path());
        GET_CHECK_TOK(tok, lex, TOK_DOUBLE_COLON);
        } break;
    case TOK_INTERPOLATED_PATH:
        path = mv$(tok.frag_path());
        GET_CHECK_TOK(tok, lex, TOK_DOUBLE_COLON);
        break;
    default:
        if(lex.edition_after(AST::Edition::Rust2018))
        {
            //path = AST::Path(lex.parse_state().module->path());
            path = AST::Path::new_relative(/*hygine=*/{}, {});
        }
        PUTBACK(tok, lex);
        break;
    }

    Parse_Use_Inner(lex, entries, path);
}
::AST::UseItem Parse_Use(TokenStream& lex)
{
    TRACE_FUNCTION;

    Token   tok;
    ProtoSpan   span_start = lex.start_span();

    ::std::vector<AST::UseItem::Ent>    entries;

    if(lex.lookahead(0) == TOK_BRACE_OPEN)
    {
        GET_TOK(tok, lex);
        do {
            if( lex.lookahead(0) == TOK_BRACE_CLOSE ) {
                GET_TOK(tok, lex);
                break;
            }
            Parse_Use_Root(lex, entries);
        } while(GET_TOK(tok, lex) == TOK_COMMA);
        CHECK_TOK(tok, TOK_BRACE_CLOSE);
    }
    else
    {
        Parse_Use_Root(lex, entries);
    }

    return AST::UseItem { lex.end_span(span_start), mv$(entries) };
}


::AST::MacroInvocation Parse_MacroInvocation(ProtoSpan span_start, AST::Path name, TokenStream& lex)
{
    Token   tok;
    RcString ident;
    if( GET_TOK(tok, lex) == TOK_IDENT ) {
        ident = tok.ident().name;
    }
    else {
        PUTBACK(tok, lex);
    }
    bool is_macro = (name.is_trivial() && name.as_trivial() == "macro_rules");

    if(is_macro)
        lex.push_hygine();
    TokenTree tt = Parse_TT(lex, true);
    if( tt.is_token() ) {
        throw ParseError::Unexpected(lex, tt.tok());
    }
    if(is_macro)
        lex.pop_hygine();
    DEBUG("name=" << name << ", ident=" << ident << ", tt=" << tt);
    return ::AST::MacroInvocation( lex.end_span(span_start), mv$(name), mv$(ident), mv$(tt));
}

bool Parse_MacroInvocation_Opt(TokenStream& lex,  AST::MacroInvocation& out_inv)
{
    Token   tok;

    switch(lex.lookahead(0))
    {
    case TOK_IDENT:
        if( !(lex.lookahead(1) == TOK_DOUBLE_COLON || lex.lookahead(1) == TOK_EXCLAM) )
            return false;
        break;
    case TOK_RWORD_CRATE:
        if( !(lex.lookahead(1) == TOK_DOUBLE_COLON) )
            return false;
        break;
    case TOK_DOUBLE_COLON:
    case TOK_RWORD_SUPER:
    case TOK_RWORD_SELF:
    case TOK_INTERPOLATED_PATH:
        break;
    default:
        return false;
    }

    auto ps = lex.start_span();
    auto name_path = Parse_Path(lex, PATH_GENERIC_NONE);
    GET_CHECK_TOK(tok, lex, TOK_EXCLAM);

    bool is_braced = (lex.lookahead(0) == TOK_BRACE_OPEN || (lex.lookahead(0) == TOK_IDENT && lex.lookahead(1) == TOK_BRACE_OPEN));

    out_inv = Parse_MacroInvocation(ps, name_path, lex);

    if( !is_braced )
    {
        GET_CHECK_TOK(tok, lex, TOK_SEMICOLON);
    }
    return true;
}

#if 0
namespace {
    ::AST::Module::FileInfo get_submod_file(
        Span sp, const ::AST::Module::FileInfo& parent_fileinfo, const ::std::string& new_mod_name, const ::std::string& path_attr,
        bool is_extern_file, bool is_cfg_disabled
        )
    {
        ::AST::Module::FileInfo rv;
        TRACE_FUNCTION_F(new_mod_name << ", " << path_attr << ", " << is_extern_file);
        ::std::string   sub_path;
        bool    sub_file_controls_dir = true;

        // 1. Determine the base path for the module
        if( parent_fileinfo.path == "-" ) {
            if( path_attr.size() ) {
                ERROR(lex.point_span(), E0000, "Cannot load module from file when reading stdin");
            }
            sub_path = "-";
        }
        else if( path_attr.size() > 0 )
        {
            // #[path] present, add to the parent path
            sub_path = dirname(parent_fileinfo.path) + path_attr;
        }
        else if( mod_fileinfo.controls_dir )
        {
            // The parent module is either the crate root, or a `mod.rs` (or otherwise a controller)
            sub_path = parent_fileinfo.dir + name;
        }
        else
        {
            sub_path = parent_fileinfo.path;
            sub_file_controls_dir = false;
        }
        DEBUG("Mod '" << name << "', sub_path = " << sub_path);

        rv.path = sub_path;
        rv.controls_dir = sub_file_controls_dir;

        if( is_cfg_disabled || parent_fileinfo.force_no_load )
        {
            rv.force_no_load = true;
        }
        if( ! is_extern_file )
        {
            // If this is an inline module, set the path to just a directory
            if( sub_path != "-" ) {
                rv.path = sub_path + "/";
                rv.dir = sub_path + "/";
            }
            else {
                rv.path = "-";
            }
        }
        else
        {
            if( sub_path == "-" )
            {
                ERROR(lex.point_span(), E0000, "Cannot load module from file when reading stdin");
            }
            else
            {
                ::std::string newpath_dir  = sub_path + "/";
                ::std::string newpath_file = path_attr.size() > 0 ? sub_path : sub_path + ".rs";
                DEBUG("newpath_dir = '" << newpath_dir << "', newpath_file = '" << newpath_file << "'");
                ::std::ifstream ifs_dir (newpath_dir + "mod.rs");
                ::std::ifstream ifs_file(newpath_file);
                if( ifs_dir.is_open() && ifs_file.is_open() )
                {
                    // Collision
                    ERROR(lex.point_span(), E0000, "Both modname.rs and modname/mod.rs exist");
                }
                else if( ifs_dir.is_open() )
                {
                    // Load from dir
                    rv.path = newpath_dir + "mod.rs";
                    rv.dir = newpath_dir;
                }
                else if( ifs_file.is_open() )
                {
                    rv.path = newpath_file;
                    rv.dir = newpath_dir;
                    rv.controls_dir = false;
                }
                else
                {
                    // Can't find file
                    ERROR(sp, E0000, "Can't find file for '" << name << "' in '" << parent_fileinfo.dir << "'");
                }
            }
        }
        return rv;
    }
}
#endif

::AST::Named<::AST::Item> Parse_Mod_Item_S(TokenStream& lex, const AST::Module::FileInfo& mod_fileinfo, const ::AST::AbsolutePath& mod_path, AST::AttributeList meta_items)
{
    TRACE_FUNCTION_F("mod_path="<<mod_path<<", meta_items="<<meta_items);
    Token   tok;

    // NOTE: This assigns into a parameter, so can't use Parse_ItemAttrs
    while( LOOKAHEAD2(lex, TOK_HASH, TOK_SQUARE_OPEN) )
    {
        // Attributes!
        GET_CHECK_TOK(tok, lex, TOK_HASH);
        GET_CHECK_TOK(tok, lex, TOK_SQUARE_OPEN);
        meta_items.push_back( Parse_MetaItem(lex) );
        GET_CHECK_TOK(tok, lex, TOK_SQUARE_CLOSE);
    }

    if( LOOK_AHEAD(lex) == TOK_INTERPOLATED_ITEM ) {
        GET_TOK(tok, lex);
        auto rv = tok.take_frag_item();
        // Transfer new attributes onto the item
        for(auto& mi : meta_items.m_items)
            rv.attrs.m_items.push_back( mv$(mi) );
        return rv;
    }

    auto ps = lex.start_span();

    {
        ::AST::MacroInvocation  inv;
        if( Parse_MacroInvocation_Opt(lex, inv) )
        {
            return ::AST::Named< ::AST::Item> { lex.end_span(ps), mv$(meta_items), AST::Visibility::make_global(), "", ::AST::Item( mv$(inv) ) };
        }
    }

    RcString item_name;
    ::AST::Item item_data;

    auto vis = Parse_Publicity(lex);

    switch( GET_TOK(tok, lex) )
    {
    case TOK_RWORD_USE:
        item_data = Parse_Use(lex);
        GET_CHECK_TOK(tok, lex, TOK_SEMICOLON);
        break;

    case TOK_RWORD_EXTERN:
        switch( GET_TOK(tok, lex) )
        {
        // `extern "<ABI>" fn ...`
        // `extern "<ABI>" { ...`
        case TOK_STRING: {
            ::std::string abi = tok.str();
            switch(GET_TOK(tok, lex))
            {
            // `extern "<ABI>" fn ...`
            case TOK_RWORD_FN: {
                GET_CHECK_TOK(tok, lex, TOK_IDENT);
                item_name = tok.ident().name;
                item_data = ::AST::Item( Parse_FunctionDefWithCode(lex, /*allow_self=*/false,  abi, AST::Function::Flags()) );
                break; }
            // `extern "ABI" {`
            case TOK_BRACE_OPEN:
                item_name = "";
                item_data = ::AST::Item( Parse_ExternBlock(lex, mv$(abi), meta_items) );
                break;
            default:
                throw ParseError::Unexpected(lex, tok, {TOK_RWORD_FN, TOK_BRACE_OPEN});
            }
            break; }
        // `extern fn ...`
        case TOK_RWORD_FN:
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            item_name = tok.ident().name;
            item_data = ::AST::Item( Parse_FunctionDefWithCode(lex, /*allow_self=*/false,  "C", AST::Function::Flags()) );
            break;

        // NOTE: `extern { ...` is handled in caller
        case TOK_BRACE_OPEN:
            item_name = "";
            item_data = ::AST::Item( Parse_ExternBlock(lex, "C", meta_items) );
            break;

        // `extern crate "crate-name" as crate_name;`
        // `extern crate crate_name;`
        // `extern crate crate_name as other_name;`
        case TOK_RWORD_CRATE:
            switch( GET_TOK(tok, lex) )
            {
            case TOK_RWORD_SELF:
                item_data = ::AST::Item::make_Crate({ RcString::new_interned("") });
                GET_CHECK_TOK(tok, lex, TOK_RWORD_AS);
                GET_CHECK_TOK(tok, lex, TOK_IDENT);
                item_name = tok.ident().name;
                break;
            // `extern crate "crate-name" as crate_name;`
            // NOTE: rustc doesn't allow this, keep in mrustc for for reparse support
            case TOK_STRING:
                item_data = ::AST::Item::make_Crate({ RcString::new_interned(tok.str()) });
                GET_CHECK_TOK(tok, lex, TOK_RWORD_AS);
                GET_CHECK_TOK(tok, lex, TOK_IDENT);
                item_name = tok.ident().name;
                break;
            // `extern crate crate_name;`
            // `extern crate crate_name as other_name;`
            case TOK_IDENT:
                item_name = tok.ident().name;
                if(GET_TOK(tok, lex) == TOK_RWORD_AS) {
                    item_data = ::AST::Item::make_Crate({ mv$(item_name) });

                    item_name = get_optional_ident(lex);
                }
                else {
                    PUTBACK(tok, lex);
                    item_data = ::AST::Item::make_Crate({ item_name });
                }
                break;
            default:
                throw ParseError::Unexpected(lex, tok, {TOK_STRING, TOK_IDENT});
            }
            GET_CHECK_TOK(tok, lex, TOK_SEMICOLON);
            break;
        default:
            throw ParseError::Unexpected(lex, tok, {TOK_STRING, TOK_RWORD_FN, TOK_BRACE_OPEN, TOK_RWORD_CRATE});
        }
        break;

    // `const NAME`
    // `const [unsafe] fn`
    case TOK_RWORD_CONST:
        switch( GET_TOK(tok, lex) )
        {
        case TOK_UNDERSCORE:    // 1.39?
        case TOK_IDENT: {
            PUTBACK(tok, lex);
            item_name = get_optional_ident(lex);

            GET_CHECK_TOK(tok, lex, TOK_COLON);
            TypeRef type = Parse_Type(lex);
            GET_CHECK_TOK(tok, lex, TOK_EQUAL);
            AST::Expr val = Parse_Expr(lex);
            GET_CHECK_TOK(tok, lex, TOK_SEMICOLON);
            item_data = ::AST::Item( ::AST::Static(AST::Static::CONST, mv$(type), mv$(val)) );
            break; }
        case TOK_RWORD_UNSAFE: {
            struct H { static std::string opt_extern(Token& tok, TokenStream& lex) {
                if( lex.lookahead(0) == TOK_RWORD_EXTERN ) {
                    GET_TOK(tok, lex);
                    if( lex.lookahead(0) == TOK_STRING ) {
                        GET_TOK(tok, lex);
                        return tok.str();
                    }
                    else {
                        return "C";
                    }
                }
                else {
                    return ABI_RUST;
                }
            }};
            auto abi = H::opt_extern(tok, lex);
            GET_CHECK_TOK(tok, lex, TOK_RWORD_FN);
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            item_name = tok.ident().name;
            item_data = ::AST::Item( Parse_FunctionDefWithCode(lex, /*allow_self=*/false,  abi, AST::Function::Flags().set_const().set_unsafe()) );
            break; }
        case TOK_RWORD_EXTERN: {
            auto abi = lex.lookahead(0) == TOK_STRING ? lex.getToken().str() : "C";
            GET_CHECK_TOK(tok, lex, TOK_RWORD_FN);
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            item_name = tok.ident().name;
            item_data = ::AST::Item( Parse_FunctionDefWithCode(lex, /*allow_self=*/false,  abi, AST::Function::Flags().set_const()) );
            break; }
        case TOK_RWORD_FN:
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            item_name = tok.ident().name;
            // - self not allowed, not prototype
            item_data = ::AST::Item( Parse_FunctionDefWithCode(lex, /*allow_self=*/false,  ABI_RUST, AST::Function::Flags().set_const()) );
            break;
        default:
            throw ParseError::Unexpected(lex, tok, {TOK_IDENT, TOK_UNDERSCORE, TOK_RWORD_UNSAFE, TOK_RWORD_FN});
        }
        break;
    // `static NAME`
    // `static mut NAME`
    case TOK_RWORD_STATIC: {
        bool is_mut = false;
        if(GET_TOK(tok, lex) == TOK_RWORD_MUT) {
            is_mut = true;
            GET_TOK(tok, lex);
        }
        PUTBACK(tok, lex);
        item_name = get_optional_ident(lex);

        GET_CHECK_TOK(tok, lex, TOK_COLON);
        TypeRef type = Parse_Type(lex);

        GET_CHECK_TOK(tok, lex, TOK_EQUAL);

        AST::Expr val = Parse_Expr(lex);

        GET_CHECK_TOK(tok, lex, TOK_SEMICOLON);
        item_data = ::AST::Item( ::AST::Static( (is_mut ? AST::Static::MUT : AST::Static::STATIC), mv$(type), mv$(val)) );
        break; }

    // `unsafe fn`
    // `unsafe trait`
    // `unsafe impl`
    case TOK_RWORD_UNSAFE:
        switch(GET_TOK(tok, lex))
        {
        // `unsafe extern fn`
        case TOK_RWORD_EXTERN: {
            ::std::string   abi = "C";
            if(GET_TOK(tok, lex) == TOK_STRING) {
                abi = mv$(tok.str());
            }
            else {
                PUTBACK(tok, lex);
            }
            GET_CHECK_TOK(tok, lex, TOK_RWORD_FN);
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            item_name = tok.ident().name;
            item_data = ::AST::Item( Parse_FunctionDefWithCode(lex, false,  abi, AST::Function::Flags().set_unsafe()) );
            break; }
        // `unsafe fn`
        case TOK_RWORD_FN:
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            item_name = tok.ident().name;
            // - self not allowed, not prototype
            item_data = ::AST::Item( Parse_FunctionDefWithCode(lex, false,  ABI_RUST, AST::Function::Flags().set_unsafe()) );
            break;
        // `unsafe trait`
        case TOK_RWORD_TRAIT: {
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            item_name = tok.ident().name;
            auto tr = Parse_TraitDef(lex, meta_items, Parse_GenericParamsOpt(lex));
            tr.set_is_unsafe();
            item_data = ::AST::Item( ::std::move(tr) );
            break; }
        // `unsafe impl`
        case TOK_RWORD_IMPL: {
            auto impl = Parse_Impl(lex, mv$(meta_items), true);
            if( impl.is_Impl() ) {
                impl.as_Impl().def().set_is_unsafe();
            }
            else if( impl.is_NegImpl() ) {
                impl.as_NegImpl().set_is_unsafe();
            }
            else {
                BUG(lex.point_span(), "Parse_Impl returned a variant other than Impl or NegImpl");
            }
            return ::AST::Named< ::AST::Item> { Span(), {}, AST::Visibility::make_global(), "", mv$(impl) };
            }
        // `unsafe auto trait`
        case TOK_IDENT:
            if( TARGETVER_LEAST_1_29 && tok.ident().name == "auto" )
            {
                GET_CHECK_TOK(tok, lex, TOK_RWORD_TRAIT);
                GET_CHECK_TOK(tok, lex, TOK_IDENT);
                item_name = tok.ident().name;
                auto tr = Parse_TraitDef(lex, meta_items, Parse_GenericParamsOpt(lex));
                tr.set_is_unsafe();
                tr.set_is_marker();
                item_data = ::AST::Item( ::std::move(tr) );
                break;
            }
            //goto default;
        default:
            throw ParseError::Unexpected(lex, tok, {TOK_RWORD_FN, TOK_RWORD_TRAIT, TOK_RWORD_IMPL});
        }
        break;
    case TOK_RWORD_ASYNC:
        GET_CHECK_TOK(tok, lex, TOK_RWORD_FN);
        GET_CHECK_TOK(tok, lex, TOK_IDENT);
        item_name = tok.ident().name;
        // - self not allowed, not prototype
        item_data = ::AST::Item( Parse_FunctionDefWithCode(lex, false,  ABI_RUST, AST::Function::Flags().set_async()) );
        break;
    // `fn`
    case TOK_RWORD_FN:
        GET_CHECK_TOK(tok, lex, TOK_IDENT);
        item_name = tok.ident().name;
        // - self not allowed, not prototype
        item_data = ::AST::Item( Parse_FunctionDefWithCode(lex, false,  ABI_RUST, AST::Function::Flags()) );
        break;
    // `type`
    case TOK_RWORD_TYPE:
        GET_CHECK_TOK(tok, lex, TOK_IDENT);
        item_name = tok.ident().name;
        item_data = ::AST::Item( Parse_TypeAlias(lex) );
        break;
    // `struct`
    case TOK_RWORD_STRUCT:
        GET_CHECK_TOK(tok, lex, TOK_IDENT);
        item_name = tok.ident().name;
        item_data = ::AST::Item( Parse_Struct(lex, meta_items) );
        break;
    // `enum`
    case TOK_RWORD_ENUM:
        GET_CHECK_TOK(tok, lex, TOK_IDENT);
        item_name = tok.ident().name;
        item_data = ::AST::Item( Parse_EnumDef(lex, meta_items) );
        break;

    // Contextual keywords
    case TOK_IDENT:
        if( tok.ident().name == "union" ) {
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            item_name = tok.ident().name;
            item_data = ::AST::Item( Parse_Union(lex, meta_items) );
        }
        // `auto trait`
        else if( TARGETVER_LEAST_1_29 && tok.ident().name == "auto" ) {
            GET_CHECK_TOK(tok, lex, TOK_RWORD_TRAIT);
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            item_name = tok.ident().name;
            auto tr = Parse_TraitDef(lex, meta_items, Parse_GenericParamsOpt(lex));
            tr.set_is_marker();
            item_data = ::AST::Item( ::std::move(tr) );
        }
        else {
            throw ParseError::Unexpected(lex, tok);
        }
        break;

    // `impl`
    case TOK_RWORD_IMPL:
        return ::AST::Named< ::AST::Item> { Span(), {}, AST::Visibility::make_global(), "", Parse_Impl(lex, mv$(meta_items)) };
    // `trait`
    case TOK_RWORD_TRAIT: {
        GET_CHECK_TOK(tok, lex, TOK_IDENT);
        item_name = tok.ident().name;
        AST::GenericParams params = Parse_GenericParamsOpt(lex);
        if( lex.lookahead(0) == TOK_EQUAL ) {
            // Trait alias (can't be auto or unsafe?)

            AST::TraitAlias rv;
            rv.params = std::move(params);
            do {
                lex.getToken();

                auto ps = lex.start_span();
                auto hrbs = Parse_HRB_Opt(lex);
                rv.traits.push_back( GET_SPANNED(Type_TraitPath, lex, (Type_TraitPath(mv$(hrbs), Parse_Path(lex, PATH_GENERIC_TYPE)) )) );
            } while( lex.lookahead(0) == TOK_PLUS );

            GET_CHECK_TOK(tok, lex, TOK_SEMICOLON);

            item_data = ::AST::Item( std::move(rv) );
        }
        else {
            item_data = ::AST::Item( Parse_TraitDef(lex, meta_items, std::move(params)) );
        }
        break; }

    case TOK_RWORD_MACRO:
        if( TARGETVER_LEAST_1_29 )
        {
            GET_CHECK_TOK(tok, lex, TOK_IDENT);
            auto name = tok.ident().name;
            DEBUG("name = " << name);
            MacroRulesPtr mrp;
            if( lex.lookahead(0) == TOK_BRACE_OPEN )
            {
                GET_TOK(tok, lex);
                mrp = Parse_MacroRules(lex);
            }
            else if( lex.lookahead(0) == TOK_PAREN_OPEN )
            {
                mrp = Parse_MacroRulesSingleArm(lex);
            }
            else
            {
                GET_TOK(tok, lex);
                throw ParseError::Unexpected(lex, tok);
            }

            {
                Ident::ModPath  mp;
                mp.crate = "";
                mp.ents = mod_path.nodes;
                mrp->m_hygiene.set_mod_path(::std::move(mp));
                mrp->m_is_macro_item = true;
            }

            item_name = name;
            item_data = ::AST::Item( mv$(mrp) );
        }
        else
        {
            throw ParseError::Unexpected(lex, tok);
        }
        break;

    case TOK_RWORD_MOD: {
        GET_CHECK_TOK(tok, lex, TOK_IDENT);
        auto name = tok.ident().name;
        DEBUG("Sub module '" << name << "'");
        AST::Module submod( mod_path + name );

        // Check #[cfg] and don't load if it fails
        struct H {
            static bool check_item_cfg(const ::AST::AttributeList& attrs)
            {
                for(const auto& at : attrs.m_items) {
                    if( at.name() == "cfg" && !check_cfg(at.span(), at) ) {
                        return false;
                    }
                }
                return true;
            }
        };

        // Rules for external files (/ path handling):
        // - IF using stdin (path='-') - Disallow and propagate '-' as path
        // - IF a #[path] attribute was passed, allow
        // - IF in crate root or mod.rs, allow (input flag)
        // - else, disallow and set flag
        ::std::string path_attr;
        for(const auto& a : meta_items.m_items)
        {
            if( a.name() == "path" ) {
                path_attr = a.parse_equals_string(*lex.parse_state().crate, *lex.parse_state().module);
            }
            else if( a.name() == "cfg_attr" ) {
                for(const auto& a2 : check_cfg_attr(a))
                {
                    if( a2.name() == "path" ) {
                        path_attr = a2.parse_equals_string(*lex.parse_state().crate, *lex.parse_state().module);
                    }
                }
            }
            else {
            }
        }

        //submod.m_file_info = get_submod_file(lex.end_span(ps), mod_fileinfo,  name, path_attr, LOOK_AHEAD(lex) == TOK_SEMICOLON, H::check_item_cfg(meta_items));

        ::helpers::path sub_path;
        bool    sub_file_controls_dir = true;
        if( mod_fileinfo.path == "-" ) {
            if( path_attr.size() ) {
                ERROR(lex.point_span(), E0000, "Cannot load module from file when reading stdin");
            }
            sub_path = "-";
        }
        else if( path_attr.size() > 0 )
        {
            sub_path = dirname(mod_fileinfo.path) / path_attr.c_str();
        }
        else if( mod_fileinfo.controls_dir )
        {
            sub_path = dirname(mod_fileinfo.path) / name.c_str();
        }
        else
        {
            sub_path = dirname(mod_fileinfo.path) / mod_path.nodes.back().c_str() / name.c_str();
            //sub_path = mod_fileinfo.path;
            sub_file_controls_dir = false;
        }
        DEBUG("Mod '" << name << "', sub_path = " << sub_path);

        submod.m_file_info.path = sub_path;
        submod.m_file_info.controls_dir = sub_file_controls_dir;

        switch( GET_TOK(tok, lex) )
        {
        case TOK_BRACE_OPEN:
            submod.m_file_info.path = sub_path.str() + "/";
            // TODO: If cfg fails, just eat the TT until a matching #[cfg]?
            // - Or, mark the file infor as not being valid (so child modules don't try to load)
            Parse_ModRoot(lex, submod, meta_items);
            GET_CHECK_TOK(tok, lex, TOK_BRACE_CLOSE);
            break;
        case TOK_SEMICOLON:
            if( sub_path.str() == "-" ) {
                ERROR(lex.point_span(), E0000, "Cannot load module from file when reading stdin");
            }
            else if( !H::check_item_cfg(meta_items) ) {
                // Ignore - emit Item::None
                item_name = mv$(name);
                item_data = ::AST::Item( );
                break ;
            }
            else if( path_attr.size() == 0 && ! mod_fileinfo.controls_dir )
            {
                ASSERT_BUG(lex.point_span(), mod_path.nodes.size() >= 1, "Crate root should control its directory?");
                // Look for `curdir/curmod/submod.rs` or `curdir/curmod/submod/mod.rs`
                ::std::string newpath_file_direct = dirname(mod_fileinfo.path) / mod_path.nodes.back().c_str() / name.c_str() + ".rs";
                ::std::string newpath_file_mod    = dirname(mod_fileinfo.path) / mod_path.nodes.back().c_str() / name.c_str() / "mod.rs";
                DEBUG(mod_fileinfo.path << " " << mod_path);
                DEBUG("newpath_file_direct = '" << newpath_file_direct << "'");
                DEBUG("newpath_file_mod = '" << newpath_file_mod << "'");

                ::std::ifstream ifs_file(newpath_file_direct);
                ::std::ifstream ifs_dir(newpath_file_mod);

                if( ifs_dir.is_open() && ifs_file.is_open() ) {
                    // Collision
                    ERROR(lex.point_span(), E0000, "Both modname.rs and modname/mod.rs exist");
                }
                else if( ifs_dir.is_open() ) {
                    // Load from dir
                    submod.m_file_info.path = newpath_file_mod;
                    submod.m_file_info.controls_dir = true;
                }
                else if( ifs_file.is_open() ) {
                    submod.m_file_info.path = newpath_file_direct;
                    submod.m_file_info.controls_dir = false;
                }
                else {
                    // Can't find file
                    ERROR(lex.point_span(), E0000, "Can't find file for '" << name << "' in '" << mod_fileinfo.path << "'");
                }
                DEBUG("- path = " << submod.m_file_info.path);
                Lexer sub_lex(submod.m_file_info.path, lex.get_edition(), lex.parse_state());
                Parse_ModRoot(sub_lex, submod, meta_items);
                GET_CHECK_TOK(tok, sub_lex, TOK_EOF);
            }
            else
            {
                ::std::string newpath_dir  = sub_path.str() + "/";
                ::std::string newpath_file = path_attr.size() > 0 ? sub_path : sub_path + ".rs";
                DEBUG("newpath_dir = '" << newpath_dir << "', newpath_file = '" << newpath_file << "'");
                ::std::ifstream ifs_dir (newpath_dir + "mod.rs");
                ::std::ifstream ifs_file(newpath_file);
                if( ifs_dir.is_open() && ifs_file.is_open() )
                {
                    // Collision
                    ERROR(lex.point_span(), E0000, "Both modname.rs and modname/mod.rs exist");
                }
                else if( ifs_dir.is_open() )
                {
                    // Load from dir
                    submod.m_file_info.path = newpath_dir + "mod.rs";
                }
                else if( ifs_file.is_open() )
                {
                    submod.m_file_info.path = newpath_file;
                    if( path_attr == "" )
                    {
                        submod.m_file_info.controls_dir = false;
                    }
                }
                // TODO: If this is not a controlling file, look in `modname/` for the new module
                else
                {
                    // Can't find file
                    ERROR(lex.point_span(), E0000, "Can't find file for '" << name << "' in '" << mod_fileinfo.path << "'");
                }
                DEBUG("- path = " << submod.m_file_info.path);
                Lexer sub_lex(submod.m_file_info.path, lex.get_edition(), lex.parse_state());
                Parse_ModRoot(sub_lex, submod, meta_items);
                GET_CHECK_TOK(tok, sub_lex, TOK_EOF);
            }
            break;
        default:
            throw ParseError::Generic("Expected { or ; after module name");
        }
        item_name = mv$(name);
        item_data = ::AST::Item( mv$(submod) );
        break; }

    default:
        throw ParseError::Unexpected(lex, tok);
    }

    return ::AST::Named< ::AST::Item> { lex.end_span(ps), mv$(meta_items), vis, mv$(item_name), mv$(item_data) };
}

void Parse_Mod_Item(TokenStream& lex, AST::Module& mod, AST::AttributeList meta_items)
{
    SET_MODULE(lex, mod);
    lex.parse_state().module = &mod;
    lex.parse_state().parent_attrs = &meta_items;

    mod.add_item( Parse_Mod_Item_S(lex, mod.m_file_info, mod.path(), mv$(meta_items)) );
}

void Parse_ModRoot_Items(TokenStream& lex, AST::Module& mod)
{
    Token   tok;

    for(;;)
    {
        // Check 1 - End of module (either via a closing brace, or EOF)
        switch(GET_TOK(tok, lex))
        {
        case TOK_BRACE_CLOSE:
        case TOK_EOF:
            PUTBACK(tok, lex);
            return;
        default:
            PUTBACK(tok, lex);
            break;
        }

        // Attributes on the following item
        auto meta_items = Parse_ItemAttrs(lex);
        DEBUG("meta_items = " << meta_items);

        Parse_Mod_Item(lex, mod, mv$(meta_items));
    }
}

void Parse_ModRoot(TokenStream& lex, AST::Module& mod, AST::AttributeList& mod_attrs)
{
    TRACE_FUNCTION;

    auto prev_mod = lex.parse_state().module;
    lex.parse_state().module = &mod;
    // Attributes on module/crate (will continue loop)
    Parse_ParentAttrs(lex,  mod_attrs);

    Parse_ModRoot_Items(lex, mod);
    lex.parse_state().module = prev_mod;
}

AST::Crate Parse_Crate(::std::string mainfile, AST::Edition edition)
{
    Token   tok;

    Lexer lex(mainfile, edition, ParseState());

    size_t p = mainfile.find_last_of('/');
    p = (p == ::std::string::npos ? mainfile.find_last_of('\\') : p);
    ::std::string mainpath = mainfile == "-" ? "-" : (p != ::std::string::npos ? ::std::string(mainfile.begin(), mainfile.begin()+p+1) : "./");

    AST::Crate  crate;
    crate.m_edition = edition;

    //crate.root_module().m_file_info.file_path = mainfile;
    crate.root_module().m_file_info.path = mainpath;
    crate.root_module().m_file_info.controls_dir = true;

    lex.parse_state().crate = &crate;
    Parse_ModRoot(lex, crate.root_module(), crate.m_attrs);

    return crate;
}
