match single prefix slice

1 files changed, 33 insertions, 0 deletions

diff --git a/crates/ra_hir_ty/src/tests/patterns.rs b/crates/ra_hir_ty/src/tests/patterns.rs
index 81d00c2af..fdc9dd180 100644
--- a/crates/ra_hir_ty/src/tests/patterns.rs
+++ b/crates/ra_hir_ty/src/tests/patterns.rs
@@ -137,6 +137,39 @@ fn test() {
 }
 
 #[test]
+fn infer_pattern_match_slice() {
+    assert_snapshot!(
+        infer(r#"
+fn test() {
+    let slice: &[f64] = &[0.0];
+    match slice {
+        &[a] => {
+            a;
+        }
+        _ => {}
+    }
+}
+"#),
+    @r###"
+    [11; 129) '{     ...   } }': ()
+    [21; 26) 'slice': &[f64]
+    [37; 43) '&[0.0]': &[f64; _]
+    [38; 43) '[0.0]': [f64; _]
+    [39; 42) '0.0': f64
+    [49; 127) 'match ...     }': ()
+    [55; 60) 'slice': &[f64]
+    [71; 75) '&[a]': &[f64]
+    [72; 75) '[a]': [f64]
+    [73; 74) 'a': f64
+    [79; 105) '{     ...     }': ()
+    [93; 94) 'a': f64
+    [114; 115) '_': &[f64]
+    [119; 121) '{}': ()
+    "###
+    );
+}
+
+#[test]
 fn infer_adt_pattern() {
     assert_snapshot!(
         infer(r#"