about summary refs log tree commit diff
path: root/tests/ui/pattern/slice-patterns-irrefutable.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/pattern/slice-patterns-irrefutable.rs')
-rw-r--r--tests/ui/pattern/slice-patterns-irrefutable.rs14
1 files changed, 13 insertions, 1 deletions
diff --git a/tests/ui/pattern/slice-patterns-irrefutable.rs b/tests/ui/pattern/slice-patterns-irrefutable.rs
index 7be02b44e43..bd230608eb5 100644
--- a/tests/ui/pattern/slice-patterns-irrefutable.rs
+++ b/tests/ui/pattern/slice-patterns-irrefutable.rs
@@ -32,7 +32,7 @@ fn array_try_from(x: &[usize]) -> Result<usize, TryFromSliceError> {
     Ok(a + b)
 }
 
-fn default() {
+fn destructuring_assignment() {
     let a: i32;
     let b;
     [a, b] = Default::default();
@@ -45,6 +45,18 @@ fn test_nested_array() {
     [a, b] = Default::default();
 }
 
+fn test_nested_array_type_hint() {
+    let a: [_; 3];
+    let b;
+    [a, b] = Default::default();
+    let _: i32 = b[1];
+}
+
+fn test_working_nested_array() {
+    let a: i32;
+    [[a, _, _], _, _] = Default::default();
+}
+
 struct Foo<T>([T; 2]);
 
 impl<T: Default + Copy> Default for Foo<T> {