void foo() { int[4] a; a = [1, 2, 3]; }