}
fn normalize_ty_after_erasing_regions<'tcx>(
- tcx: TyCtxt<'tcx, 'tcx, 'tcx>,
+ tcx: TyCtxt<'tcx>,
goal: ParamEnvAnd<'tcx, Ty<'tcx>>,
) -> Ty<'tcx> {
debug!("normalize_ty_after_erasing_regions(goal={:#?})", goal);
);
let normalized_value = infcx.resolve_vars_if_possible(&normalized_value);
- let normalized_value = infcx.tcx.erase_regions(&normalized_value);
- tcx.lift_to_global(&normalized_value).unwrap()
+ infcx.tcx.erase_regions(&normalized_value)
}
Err(NoSolution) => bug!("could not fully normalize `{:?}`", value),
}