mirror of https://github.com/rust-lang/rust
22 lines
979 B
Rust
22 lines
979 B
Rust
// Regression test for ICE #122989
|
|
trait Foo<const N: Bar<2>> {
|
|
//~^ WARN trait objects without an explicit `dyn` are deprecated
|
|
//~| WARN this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
|
|
//~| ERROR cycle detected when computing type of `Foo::N`
|
|
//~| ERROR cycle detected when computing type of `Foo::N`
|
|
//~| ERROR the trait `Foo` cannot be made into an object
|
|
//~| ERROR the trait `Foo` cannot be made into an object
|
|
//~| ERROR the trait `Foo` cannot be made into an object
|
|
//~| ERROR `(dyn Bar<2> + 'static)` is forbidden as the type of a const generic parameter
|
|
fn func() {
|
|
}
|
|
}
|
|
|
|
trait Bar<const M: Foo<2>> {}
|
|
//~^ WARN trait objects without an explicit `dyn` are deprecated
|
|
//~| WARN this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
|
|
//~| ERROR the trait `Foo` cannot be made into an object
|
|
//~| ERROR `(dyn Foo<2> + 'static)` is forbidden as the type of a const generic parameter
|
|
|
|
fn main() {}
|