Do we have any plans to make sure that MIR-level optimizations do not reduce our Miri engine test coverage? Optimizations tend to normalize things, so there will be certain kinds of MIR that just cannot exist any more e.g. after constant folding, or existing test cases might not actually run the code paths any more that they were supposed to run. Do we run these optimizations on the MIR for const/static initializers and
const fn? Are there plans to run those tests both with and without optimizations or so?
As a user of rust, it makes me slightly happy that this is a problem :heart:
There are compile-fail and run-pass tests for
const fn. Iirc there are runpass only for const initializers.