1 #![deny(unused_must_use)]
13 fn empty() -> [S; 0] {
17 fn singleton() -> [S; 1] {
25 fn array_of_impl_trait() -> [impl T; 2] {
29 fn impl_array() -> [(u8, Box<dyn T>); 2] {
30 [(0, Box::new(A)), (0, Box::new(A))]
33 fn array_of_arrays_of_arrays() -> [[[S; 1]; 2]; 1] {
39 singleton(); //~ ERROR unused array of `S` that must be used
40 many(); //~ ERROR unused array of `S` that must be used
41 ([S], 0, ()); //~ ERROR unused array of `S` in tuple element 0 that must be used
42 array_of_impl_trait(); //~ ERROR unused array of implementers of `T` that must be used
44 //~^ ERROR unused array of boxed `T` trait objects in tuple element 1 that must be used
45 array_of_arrays_of_arrays();
46 //~^ ERROR unused array of arrays of arrays of `S` that must be used