// Trying to create a fixed-length vector with a negative size
fn main() {
let _x = [0,..-1]; //~ ERROR found negative integer
}