I've been thinking about a MIR interpreter that has the opposite goals from MIRI: Don't do any safety checks, just start executing e.g. the test I just changed with as little delay as possible. Still unclear to me whether there's much to be gained here vs a more incremental compiler though?
