1 error: expected type, found `0`
2 --> $DIR/issue-39616.rs:11:12
4 LL | fn foo(a: [0; 1]) {} //~ ERROR expected type, found `0`
7 error: expected one of `)`, `,`, `->`, `where`, or `{`, found `]`
8 --> $DIR/issue-39616.rs:11:16
10 LL | fn foo(a: [0; 1]) {} //~ ERROR expected type, found `0`
11 | ^ expected one of `)`, `,`, `->`, `where`, or `{` here
13 error: aborting due to 2 previous errors