same thing in const-prop-lint

b-naber · b-naber · commit 5726ed771236 · 2022-08-04T11:13:53.000+02:00
diff --git a/compiler/rustc_mir_transform/src/const_prop_lint.rs b/compiler/rustc_mir_transform/src/const_prop_lint.rs
@@ -514,11 +514,6 @@ impl<'mir, 'tcx> ConstPropagator<'mir, 'tcx> {
             | Rvalue::NullaryOp(..) => {}
         }
 
-        // FIXME we need to revisit this for #67176
-        if rvalue.needs_subst() {
-            return None;
-        }
-
         self.use_ecx(source_info, |this| this.ecx.eval_rvalue_into_place(rvalue, place))
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -514,11 +514,6 @@ impl<'mir, 'tcx> ConstPropagator<'mir, 'tcx> {`
`514`	`514`	`\| Rvalue::NullaryOp(..) => {}`
`515`	`515`	`}`
`516`	`516`
`517`		`- // FIXME we need to revisit this for #67176`
`518`		`- if rvalue.needs_subst() {`
`519`		`- return None;`
`520`		`- }`
`521`		`-`
`522`	`517`	`self.use_ecx(source_info, \|this\| this.ecx.eval_rvalue_into_place(rvalue, place))`
`523`	`518`	`}`
`524`	`519`	`}`