diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-01-22 22:12:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-22 22:12:07 +0100 |
| commit | 042cc7269cc756abccc89820755c2c05a33b2b6b (patch) | |
| tree | d2a7279fc10e264601be6ee63d68335c25606c57 /compiler/rustc_codegen_llvm/src/errors.rs | |
| parent | 67d093682ce1b63f34b0038068819bd46aadf048 (diff) | |
| parent | 3ff10242fee5356cb4be91db6df2eee6b9a34089 (diff) | |
| download | rust-042cc7269cc756abccc89820755c2c05a33b2b6b.tar.gz rust-042cc7269cc756abccc89820755c2c05a33b2b6b.zip | |
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``
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions