Closed
Description
It would be nice to be able to test miri against known-bad MIR code -- like, code that uses StorageLive
/StorageDead
incorrectly, just to make sure that miri catches such errors. Some more examples will come come up with the stuff about unsafe code guidelines that I'm working on.
It seems that we need something like a MIR parser for this, though?