{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":".normalize_erasing_regions(cx.typing_env(),"}]}
            .normalize_erasing_regions(cx.typing_env(), main_ret_ty.no_bound_vars().unwrap());
            .tcx()