// 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() {}