tests/ui/traits/const-traits/tilde-const-in-struct-args.rs


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

//@ compile-flags: -Znext-solver
//@ known-bug: #132067
//@ check-pass

#![feature(const_trait_impl)]

struct S;
#[const_trait]
trait Trait<const N: u32> {}

const fn f<
    T: Trait<
        {
            struct I<U: ~const Trait<0>>(U);
            0
        },
    >,
>() {
}

pub fn main() {}