blob: ece87529c3e3b813982272a6b95c39a5934c2693 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#![feature(const_trait_impl)]
// FIXME(const_trait_impl) 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
|
