Matthias Krüger 4dcc5a05ea

Rollup merge of #119715 - Nadrieril:graceful-type-error, r=compiler-errors ...

Exhaustiveness: abort on type error

This adds an error path to exhaustiveness checking so that we abort instead of ICEing when encountering a stray `ty::Error`.

Fixes https://github.com/rust-lang/rust/issues/119493
Fixes https://github.com/rust-lang/rust/issues/119778

r? `@compiler-errors`

2024-01-11 03:02:41 +01:00

..

src

Rollup merge of #119715 - Nadrieril:graceful-type-error, r=compiler-errors

2024-01-11 03:02:41 +01:00

Cargo.toml

Extract exhaustiveness into its own crate

2023-12-11 11:20:55 +01:00

messages.ftl

Extract exhaustiveness into its own crate

2023-12-11 11:20:55 +01:00