mirror of https://github.com/rust-lang/rust
17 lines
385 B
Rust
17 lines
385 B
Rust
// Regression test for <https://github.com/rust-lang/rust/issues/102467>.
|
|
// It ensures that the expected error is displayed.
|
|
|
|
#![feature(associated_const_equality)]
|
|
|
|
trait T {
|
|
type A: S<C<X = 0i32> = 34>;
|
|
//~^ ERROR associated item constraints are not allowed here
|
|
//~| ERROR associated item constraints are not allowed here
|
|
}
|
|
|
|
trait S {
|
|
const C: i32;
|
|
}
|
|
|
|
fn main() {}
|