None,
);
- let normalized_value = infcx.resolve_type_vars_if_possible(&normalized_value);
+ 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()
}