blob: 0e95fc757f3e8d6ee092c7bdfed6abc829604407 (
plain)
| 1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 | // Regression test for part of issue #119924.
//@ check-pass
#![feature(const_trait_impl, effects)] //~ WARN the feature `effects` is incomplete
#[const_trait]
trait Trait {
    fn required();
}
impl const Trait for () {
    fn required() {
        pub struct Type;
        impl Type {
            // This visibility qualifier used to get rejected.
            pub fn perform() {}
        }
    }
}
fn main() {}
 |