// Trac ticket
// https://cforall.uwaterloo.ca/trac/ticket/5

[int, int] bar() { return [3, 4]; }
[void] foo([int] x, [int] y) {}

int main() {
  foo(bar());
}