//@ check-pass
//@ compile-flags: -Znext-solver

#![feature(type_alias_impl_trait)]

fn main() {
    type Tait = impl Sized;
    struct S {
        i: i32,
    }
    let x: Tait = S { i: 0 };
    println!("{}", x.i);
}