error: expected type, found `0`
  --> $DIR/issue-39616.rs:1:12
   |
LL | fn foo(a: [0; 1]) {}
   |            ^ expected type

error: expected one of `)`, `,`, `->`, `where`, or `{`, found `]`
  --> $DIR/issue-39616.rs:1:16
   |
LL | fn foo(a: [0; 1]) {}
   |                ^ expected one of `)`, `,`, `->`, `where`, or `{`

error: aborting due to 2 previous errors