Files
rust/compiler
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-10-30 08:46:02 +11:00
2024-01-16 21:15:31 +01:00
2024-01-19 20:10:39 -08:00
2024-01-17 03:14:16 +01:00
2024-01-19 20:10:39 -08:00
2023-11-15 19:41:28 -05:00
2023-11-15 19:41:28 -05:00
2024-01-22 10:14:01 +11:00
2023-11-23 14:11:02 +03:00
2024-01-17 03:14:16 +01:00
2024-01-22 10:14:01 +11:00
2024-01-20 16:52:18 -03:00
2024-01-22 10:14:01 +11:00
2024-01-22 10:14:01 +11:00
2024-01-19 20:38:51 +00:00
2024-01-19 11:09:30 +01:00