// This is a parse error in our implementation
// but could also be a type error
int foo[3](int a);