diff options
author | CAD97 <[email protected]> | 2020-08-17 18:27:12 +0100 |
---|---|---|
committer | CAD97 <[email protected]> | 2020-08-17 18:27:12 +0100 |
commit | c822bb68ce78171e4017938a66118fc4ccf077d5 (patch) | |
tree | a73e2ad5d033c6f53357d3895b73b6a810e4a94c /crates/hir_ty/src/diagnostics/match_check.rs | |
parent | 2eaf79cfbb447156151cb5435eff5f14f41c40f7 (diff) |
Fix missing match arm false error on unknown type
Diffstat (limited to 'crates/hir_ty/src/diagnostics/match_check.rs')
-rw-r--r-- | crates/hir_ty/src/diagnostics/match_check.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/crates/hir_ty/src/diagnostics/match_check.rs b/crates/hir_ty/src/diagnostics/match_check.rs index 1602c3fb4..5bd03f2ac 100644 --- a/crates/hir_ty/src/diagnostics/match_check.rs +++ b/crates/hir_ty/src/diagnostics/match_check.rs | |||
@@ -1342,12 +1342,10 @@ fn panic(a: Category, b: Category) { | |||
1342 | enum Option<T> { Some(T), None } | 1342 | enum Option<T> { Some(T), None } |
1343 | 1343 | ||
1344 | fn main() { | 1344 | fn main() { |
1345 | // FIXME: This is a false positive, as the `Never` type is not known here. | ||
1346 | // `Never` is deliberately not defined so that it's an uninferred type. | 1345 | // `Never` is deliberately not defined so that it's an uninferred type. |
1347 | match Option::<Never>::None { | 1346 | match Option::<Never>::None { |
1348 | None => (), | 1347 | None => (), |
1349 | Some(never) => match never {}, | 1348 | Some(never) => match never {}, |
1350 | // ^^^^^ Missing match arm | ||
1351 | } | 1349 | } |
1352 | } | 1350 | } |
1353 | "#, | 1351 | "#, |