trait impl with extra associated type def should be an error #1193
Description
trait T {
type X
}
struct Foo{}
impl T for Foo {
type X = u32
type Y = u64 // <- should be an error here
}{{ message }}
trait T {
type X
}
struct Foo{}
impl T for Foo {
type X = u32
type Y = u64 // <- should be an error here
}