handle arbitrary length slices

1 files changed, 24 insertions, 9 deletions

diff --git a/crates/ra_hir_ty/src/tests/patterns.rs b/crates/ra_hir_ty/src/tests/patterns.rs
index fdc9dd180..6a9413521 100644
--- a/crates/ra_hir_ty/src/tests/patterns.rs
+++ b/crates/ra_hir_ty/src/tests/patterns.rs
@@ -143,28 +143,43 @@ fn infer_pattern_match_slice() {
 fn test() {
     let slice: &[f64] = &[0.0];
     match slice {
+        &[] => {},
         &[a] => {
             a;
+        },
+        &[b, c] => {
+            b;
+            c;
         }
         _ => {}
     }
 }
 "#),
     @r###"
-    [11; 129) '{     ...   } }': ()
+    [11; 210) '{     ...   } }': ()
     [21; 26) 'slice': &[f64]
     [37; 43) '&[0.0]': &[f64; _]
     [38; 43) '[0.0]': [f64; _]
     [39; 42) '0.0': f64
-    [49; 127) 'match ...     }': ()
+    [49; 208) '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) '{}': ()
+    [71; 74) '&[]': &[f64]
+    [72; 74) '[]': [f64]
+    [78; 80) '{}': ()
+    [90; 94) '&[a]': &[f64]
+    [91; 94) '[a]': [f64]
+    [92; 93) 'a': f64
+    [98; 124) '{     ...     }': ()
+    [112; 113) 'a': f64
+    [134; 141) '&[b, c]': &[f64]
+    [135; 141) '[b, c]': [f64]
+    [136; 137) 'b': f64
+    [139; 140) 'c': f64
+    [145; 186) '{     ...     }': ()
+    [159; 160) 'b': f64
+    [174; 175) 'c': f64
+    [195; 196) '_': &[f64]
+    [200; 202) '{}': ()
     "###
     );
 }