Auto merge of #77893 - petertodd:2020-impl-default-for-phantompinned, r=dtolnay

[rust.git] / src / test / ui / issues / issue-39616.rs

fn foo(a: [0; 1]) {} //~ ERROR expected type, found `0`

fn main() {}