Matthias Krüger 042cc7269c

Rollup merge of #120104 - Nadrieril:never-pat-diverges, r=compiler-errors ...

never_patterns: Count `!` bindings as diverging

A binding that is a never pattern is not reachable, hence counts as diverging code. This allows in particular `fn foo(!: Void) -> SomeType {}` to typecheck.

r? ``@compiler-errors``

2024-01-22 22:12:07 +01:00

..

120240-async-fn-never-arg.rs

Test async fn

2024-01-22 16:24:37 +01:00

120240-async-fn-never-arg.stderr

Test async fn

2024-01-22 16:24:37 +01:00

bindings.rs

…

bindings.stderr

…

check.rs

…

check.stderr

…

diverge-causes-unreachable-code.rs

Never pattern in let statement diverges

2024-01-22 15:12:57 +01:00

diverge-causes-unreachable-code.stderr

Never pattern in let statement diverges

2024-01-22 15:12:57 +01:00

diverges-not.rs

…

diverges-not.stderr

…

diverges.rs

Test async fn

2024-01-22 16:24:37 +01:00

ICE-119271-never-arm-attr-in-guard.rs

…

ICE-119271-never-arm-attr-in-guard.stderr

…

macros.rs

…

parse.rs

…

parse.stderr

…

typeck.fail.stderr

…

typeck.rs

…

unreachable.exh_pats.stderr

…

unreachable.rs

…