syntax array_initialization from "<" Arg(, type) ">[" [{Arg(, elems) "," [s]} Arg(, elems)] "]" { let res = arr<$type>(); @elems.i { res.push($elems.i); } return move(res); } // Now we can use this syntax let arr = [1, 2, 3, 4];