fn main() -> () {
  let @vec[uint] quux = @[];
}