// Trying to create a fixed-length vector with a negative size

fn main() {
      let _x = [0,..-1]; //~ ERROR found negative integer
}