Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of rust-lang#134010 - RalfJung:promoted-type-error-ice, …
…r=oli-obk fix ICE on type error in promoted Fixes rust-lang#133968 Ensure that when we turn a type error into a "this promoted failed to evaluate" error, we do record this as something that may happen even in "infallible" promoteds.
- Loading branch information