| // Test for issue #23969 | |
| trait Foo { | |
| type Ty; | |
| const BAR: u32; | |
| } | |
| impl Foo for () { | |
| type Ty = (); | |
| type Ty = usize; //~ ERROR duplicate definitions | |
| const BAR: u32 = 7; | |
| const BAR: u32 = 8; //~ ERROR duplicate definitions | |
| } | |
| fn main() { | |
| let _: <() as Foo>::Ty = (); | |
| let _: u32 = <() as Foo>::BAR; | |
| } |