mirror of https://github.com/rust-lang/rust
24 lines
370 B
Rust
24 lines
370 B
Rust
// 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() {}
|