rust/reachable at b4e3b2e48286c4e935efc7adbe7749d54732b89b - rust

History

Matthias Krüger 26cb6c7287

Rollup merge of #120742 - Nadrieril:use-min_exh_pats, r=compiler-errors

mark `min_exhaustive_patterns` as complete

This is step 1 and 2 of my [proposal](https://github.com/rust-lang/rust/issues/119612#issuecomment-1918097361) to move `min_exhaustive_patterns` forward. The vast majority of in-tree use cases of `exhaustive_patterns` are covered by `min_exhaustive_patterns`. There are a few cases that still require `exhaustive_patterns` in tests and they're all behind references.

r? ``@ghost``

2024-02-23 17:02:03 +01:00

auxiliary

…

expr_add.rs

…

expr_add.stderr

…

expr_again.rs

…

expr_again.stderr

…

expr_andand.rs

…

expr_array.rs

…

expr_array.stderr

…

expr_assign.rs

…

expr_assign.stderr

…

expr_block.rs

…

expr_block.stderr

…

expr_call.rs

…

expr_call.stderr

…

expr_cast.rs

…

expr_cast.stderr

…

expr_if.rs

…

expr_if.stderr

…

expr_loop.rs

…

expr_loop.stderr

…

expr_match.rs

…

expr_match.stderr

…

expr_method.rs

…

expr_method.stderr

…

expr_oror.rs

…

expr_repeat.rs

…

expr_repeat.stderr

…

expr_return_in_macro.rs

…

expr_return_in_macro.stderr

…

expr_return.rs

…

expr_return.stderr

…

expr_struct.rs

…

expr_struct.stderr

…

expr_tup.rs

…

expr_tup.stderr

…

expr_type.rs

…

expr_type.stderr

…

expr_unary.rs

…

expr_unary.stderr

…

expr_while.rs

…

expr_while.stderr

…

foreign-priv.rs

…

issue-948.rs

…

issue-11225-1.rs

…

issue-11225-2.rs

…

issue-11225-3.rs

…

reachable-unnameable-type-alias.rs

…

README.md

…

unreachable-arm.rs

…

unreachable-arm.stderr

…

unreachable-code-ret.rs

…

unreachable-code-ret.stderr

…

unreachable-code.rs

…

unreachable-code.stderr

…

unreachable-in-call.rs

…

unreachable-in-call.stderr

…

unreachable-loop-patterns.rs

…

unreachable-loop-patterns.stderr

…

unreachable-try-pattern.rs

…

unreachable-try-pattern.stderr

…

unreachable-variant.rs

…

unreachable-variant.stderr

…

unwarned-match-on-never.rs

…

unwarned-match-on-never.stderr

…

README.md

A variety of tests around reachability. These tests in general check two things:

that we get unreachable code warnings in reasonable locations;
that we permit coercions into ! from expressions which diverge, where an expression "diverges" if it must execute some subexpression of type !, or it has type ! itself.