src/test/ui/type-alias-impl-trait/type-alias-impl-trait-assoc-impl-trait.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// check-pass

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

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

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

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

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

fn main() {}