{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"ty::TypingEnv::fully_monomorphized(),"}]}
            ty::TypingEnv::fully_monomorphized(),
        let main_ret_ty = tcx.normalize_erasing_regions(
            main_ret_ty.no_bound_vars().unwrap(),