r? @nnethercote

rustbot has assigned @nnethercote.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Some changes occurred to the CTFE / Miri interpreter

cc @rust-lang/miri

Some changes occurred to the CTFE machinery

cc @rust-lang/wg-const-eval

This is unfortunately not the right fix. The right fix is to not even try to evaluate MIR that contains type errors.

We will never be able to squash all the ICEs that invalid MIR can cause in the interpreter.

@RalfJung I initially wanted to break early when process_obligation returned the mismatched type error, but it's limited in rustc_data_structures

Yeah, this is not the right fix. I'll try to write up a comment in the issue.

@rustbot author

I think I should close this