Files
rust/tests/ui/rfcs
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
..
2023-12-05 17:15:46 +00:00
2024-01-13 12:46:58 -05:00
2023-12-12 18:12:57 +08:00
2024-01-13 12:46:58 -05:00
2024-01-13 12:46:58 -05:00