From f353625705854877a8347c3a46f15e294a9338e4 Mon Sep 17 00:00:00 2001
From: Josh Mcguigan <joshmcg88@gmail.com>
Date: Sun, 1 Mar 2020 06:25:38 -0800
Subject: match single prefix slice

---
 crates/ra_hir_ty/src/tests/patterns.rs | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)

(limited to 'crates/ra_hir_ty/src/tests')

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
@@ -136,6 +136,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!(
-- 
cgit v1.2.3