// late-bound regions, since late-bound
// regions must appear in the argument
// listing.
- let main_ret_ty = tcx.erase_regions(main_ret_ty.no_bound_vars().unwrap());
+ let main_ret_ty = tcx.normalize_erasing_regions(
+ ty::ParamEnv::reveal_all(),
+ main_ret_ty.no_bound_vars().unwrap(),
+ );
let cmain_sig = Signature {
params: vec![
tcx.mk_substs([GenericArg::from(main_ret_ty)].iter()),
)
.unwrap()
- .unwrap();
+ .unwrap()
+ .polymorphize(tcx);
let report_name = tcx.symbol_name(report).name;
let report_sig = get_function_sig(tcx, m.isa().triple(), report);