{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"ty::TypingEnv::fully_monomorphized(),"}]}
        ty::TypingEnv::fully_monomorphized(),
        rustc_span::DUMMY_SP, // FIXME: use a proper span here?
        CanAccessMutGlobal::No,