tests/ui/impl-trait/eagerly-reveal-in-local-body.rs

// 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);
}