1 // https://github.com/rust-lang/rust/issues/49208
2 
3 trait Foo {
foo()4     fn foo();
5 }
6 
7 impl Foo for [(); 1] {
foo()8     fn foo() {}
9 }
10 
main()11 fn main() {
12     <[(); 0] as Foo>::foo() //~ ERROR E0277
13 }
14