| // Checking that none of these ICE, which was introduced in | |
| // https://github.com/rust-lang/rust/issues/93553 | |
| trait Foo { | |
| type Bar; | |
| } | |
| trait Baz: Foo { | |
| const Bar: Self::Bar; | |
| } | |
| trait Baz2: Foo { | |
| const Bar: u32; | |
| fn foo() -> Self::Bar; | |
| } | |
| trait Baz3 { | |
| const BAR: usize; | |
| const QUX: Self::BAR; | |
| //~^ ERROR expected type, found constant | |
| } | |
| fn main() {} |