frame: &Frame<'mir, 'tcx, M::PointerTag, M::FrameExtra>,
value: T,
) -> T {
- if let Some(substs) = frame.instance.substs_for_mir_body() {
- self.tcx.subst_and_normalize_erasing_regions(substs, self.param_env, &value)
- } else {
- self.tcx.normalize_erasing_regions(self.param_env, value)
- }
+ frame.instance.subst_mir_and_normalize_erasing_regions(*self.tcx, self.param_env, value)
}
/// The `substs` are assumed to already be in our interpreter "universe" (param_env).