Test use of impl Trait in an impl as the value for an associated type in an impl trait
This commit is contained in:
parent
a9ab2e5539
commit
dcfff23c27
1 changed files with 19 additions and 0 deletions
|
@ -0,0 +1,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() {}
|
Loading…
Reference in a new issue