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