Matthias Krüger 5761c36c0a

Rollup merge of #120009 - Nadrieril:never_patterns_tyck, r=compiler-errors ...

never_patterns: typecheck never patterns

This checks that a `!` pattern is only used on an uninhabited type (modulo match ergonomics, i.e. `!` is allowed on `&Void`).

r? `@compiler-errors`

2024-01-19 19:27:02 +01:00

..

src

Rollup merge of #120009 - Nadrieril:never_patterns_tyck, r=compiler-errors

2024-01-19 19:27:02 +01:00

Cargo.toml

Use zip_eq to enforce that things being zipped have equal sizes

2024-01-14 20:01:12 +00:00

messages.ftl

Typecheck never patterns

2024-01-18 21:15:24 +01:00