trait Trait { fn dummy(&self) { } } struct Foo { x: T, } static X: Foo = Foo { //~^ ERROR E0277 x: 1, //~ ERROR: E0277 }; fn main() { }