Auto merge of #116120 - GuillaumeGomez:regression-102467, r=compiler-errors

Add regression test for #102467

Fixes #102467.

r? `@compiler-errors`
This commit is contained in:
bors 2023-09-24 18:47:52 +00:00
commit a1c7a1c89f
2 changed files with 24 additions and 0 deletions

View File

@ -0,0 +1,15 @@
// 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 type bindings are not allowed here
}
trait S {
const C: i32;
}
fn main() {}

View File

@ -0,0 +1,9 @@
error[E0229]: associated type bindings are not allowed here
--> $DIR/issue-102467.rs:7:17
|
LL | type A: S<C<X = 0i32> = 34>;
| ^^^^^^^^ associated type not allowed here
error: aborting due to previous error
For more information about this error, try `rustc --explain E0229`.