float an()  { return 2; }
void wna()  { an(), float[1](); }
void na()   { wna(); }
void main() { na(), na(); }

/*%%*
invalid arguments to 'float[1]' constructor (expected 1 elements, but found 0)
*%%*/