// 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() {}