message: illegal_write2 does not work with optimizations
diff: +// We fail to detect this when neither this nor libstd are optimized/have retagging.
  +// FIXME: Investigate that.
  +// compile-flags: -Zmir-opt-level=0
  +
  #![allow(unused_variables)]
  fn main() {
  