src/test/ui/const-generics/issue-67945-3.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// revisions: full min

#![cfg_attr(full, allow(incomplete_features))]
#![cfg_attr(full, feature(const_generics))]
#![cfg_attr(min, feature(min_const_generics))]

struct Bug<S: ?Sized> {
    A: [(); {
        //[full]~^ ERROR constant expression depends on a generic parameter
        let x: Option<Box<Self>> = None;
        //[min]~^ ERROR generic `Self` types are currently not permitted in anonymous constants
        0
    }],
    B: S
}

fn main() {}