Prevent spurious `unreachable pattern` lints#115937

Merged

bors merged 3 commits intorust-lang:masterfrom

oli-obk:spurious_unreachable_pattern

Oct 11, 2023

Commits on Oct 11, 2023

Prevent spurious `unreachable pattern` lints
oli-obk
committed
Avoid emitting the non_exhaustive error if other errors already occurred
oli-obk
committed
Remember the `ErrorReported` used to silence follow up errors instead of recreating it with `delay_span_bug`
oli-obk
committed