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