aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/diagnostics/match_check.rs
diff options
context:
space:
mode:
authorCAD97 <[email protected]>2020-08-17 18:27:12 +0100
committerCAD97 <[email protected]>2020-08-17 18:27:12 +0100
commitc822bb68ce78171e4017938a66118fc4ccf077d5 (patch)
treea73e2ad5d033c6f53357d3895b73b6a810e4a94c /crates/hir_ty/src/diagnostics/match_check.rs
parent2eaf79cfbb447156151cb5435eff5f14f41c40f7 (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.rs2
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) {
1342enum Option<T> { Some(T), None } 1342enum Option<T> { Some(T), None }
1343 1343
1344fn main() { 1344fn 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"#,