1 struct Foo<T = impl Copy>(T);
2 //~^ ERROR `impl Trait` only allowed in function and inherent method return types
4 type Result<T, E = impl std::error::Error> = std::result::Result<T, E>;
5 //~^ ERROR `impl Trait` only allowed in function and inherent method return types
7 // should not cause ICE
12 fn main() -> Result<()> {}