1 #![feature(box_syntax)]
2 // Box expression needs to be movable, and hence has to be of a Sized type.
4 let _x: Box<[u32]> = box { loop {} };
5 //~^ ERROR: the size for values of type `[u32]` cannot be known at compilation time
7 // Check that a deduced size does not cause issues.
8 let _y: Box<[u32]> = box [];
9 let _z: Box<[u32; 0]> = box { loop {} };