#![feature(type_alias_impl_trait)]

type Foo = impl core::fmt::Debug;

fn foo(bar: bool) -> Foo {
    if bar {
        println!("{:?}", foo(false));
        "true"
    } else {
        "false"
    }
}

fn assert_send<T: Send>(_: T) {}

fn main() {
    assert_send(foo(true));
}