tests/ui/type-alias-impl-trait/nested-in-anon-const.rs


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

// Regression test for issue #119295.

#![feature(type_alias_impl_trait)]

type Bar<T> = T;
type S<const A: usize> = [i32; A];

extern "C" {
    pub fn lint_me(
        x: Bar<
            S<
                { //~ ERROR mismatched types
                    type B<Z> = impl Sized;
                    //~^ ERROR unconstrained opaque type
                },
            >,
        >,
    );
}

fn main() {}