1 files changed, 26 insertions, 0 deletions

diff --git a/crates/hir_ty/src/diagnostics/pattern.rs b/crates/hir_ty/src/diagnostics/pattern.rs
index 3e90461cc..044506d66 100644
--- a/crates/hir_ty/src/diagnostics/pattern.rs
+++ b/crates/hir_ty/src/diagnostics/pattern.rs
@@ -121,4 +121,30 @@ fn main(v: E) {
 "#,
         );
     }
+
+    #[test]
+    fn boolean() {
+        check_diagnostics(
+            r#"
+fn main() {
+    match true {
+        true  => {}
+        false => {}
+    }
+    match true {
+        true | false => {}
+    }
+    match true {
+        true => {}
+        _ => {}
+    }
+    match true {}
+        //^^^^ Missing match arm
+    match true { true => {} }
+        //^^^^ Missing match arm
+
+}
+"#,
+        );
+    }
 }