// expect: an empty [] needs a type
fn main() {
    a := []
}