trait T: Sized {}

struct A;
impl T for A {}

struct B;
impl T for B {}

fn f() -> impl T {
    if true {
        A
    } else {
        B
    }
}

fn main(){}