tests/ui/type-alias-impl-trait/different_defining_uses_never_type-3.rs

#![feature(type_alias_impl_trait)]

type Tait<T> = impl Sized;

fn foo<T, U>() {
    if false {
        if { return } {
            let y: Tait<U> = 1i32;
            //~^ ERROR concrete type differs from previous defining opaque type use
        }
    }
    let x: Tait<T> = ();
}

fn main() {}