src/test/ui/typeck/issue-87935-unsized-box-expr.rs

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