tests/ui/type-alias-impl-trait/type-alias-impl-trait-assoc-impl-trait.rs

//@ check-pass

#![feature(type_alias_impl_trait)]
#![allow(dead_code)]

type Foo = impl Iterator<Item = impl Send>;

#[define_opaque(Foo)]
fn make_foo() -> Foo {
    vec![1, 2].into_iter()
}

type Bar = impl Send;
type Baz = impl Iterator<Item = Bar>;

#[define_opaque(Baz)]
fn make_baz() -> Baz {
    vec!["1", "2"].into_iter()
}

fn main() {}