This makes it easier to debug issues like https://github.com/rust-lang/rust/issues/67862#issuecomment-570777730 @rustbot modify labels: +A-mir +C-enhancement