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