1 #![deny(unused_must_use)]
14 fn empty() -> [S; 0] {
18 fn singleton() -> [S; 1] {
26 fn array_of_impl_trait() -> [impl T; 2] {
30 fn impl_array() -> [(u8, Box<dyn T>); 2] {
31 [(0, Box::new(A)), (0, Box::new(A))]
34 fn array_of_arrays_of_arrays() -> [[[S; 1]; 2]; 1] {
38 fn usize_max() -> [S; usize::MAX] {
44 singleton(); //~ ERROR unused array of `S` that must be used
45 many(); //~ ERROR unused array of `S` that must be used
46 ([S], 0, ()); //~ ERROR unused array of `S` in tuple element 0 that must be used
47 array_of_impl_trait(); //~ ERROR unused array of implementers of `T` that must be used
49 //~^ ERROR unused array of boxed `T` trait objects in tuple element 1 that must be used
50 array_of_arrays_of_arrays();
51 //~^ ERROR unused array of arrays of arrays of `S` that must be used
53 //~^ ERROR unused array of `S` that must be used