2 impl ! where u8: Copy {} // OK
4 impl Trait Type {} //~ ERROR missing `for` in a trait impl
5 impl Trait .. {} //~ ERROR missing `for` in a trait impl
6 impl ?Sized for Type {} //~ ERROR expected a trait, found type
7 impl ?Sized for .. {} //~ ERROR expected a trait, found type
9 default unsafe FAIL //~ ERROR expected `impl`, found `FAIL`