| #![feature(const_trait_impl)] |
| // FIXME(effects) add 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 |
