| #![feature(const_trait_impl, effects)] | |
| // edition: 2021 | |
| #[const_trait] | |
| trait Trait {} | |
| fn main() { | |
| let _: &dyn const Trait; //~ ERROR const trait bounds are not allowed in trait object types | |
| let _: &dyn ~const Trait; //~ ERROR `~const` is not allowed here | |
| } | |
| // Regression test for issue #119525. | |
| trait NonConst {} | |
| const fn handle(_: &dyn const NonConst) {} | |
| //~^ ERROR const trait bounds are not allowed in trait object types | |
| const fn take(_: &dyn ~const NonConst) {} | |
| //~^ ERROR `~const` is not allowed here |