]>
Commit | Line | Data |
---|---|---|
f035d41b XL |
1 | // Regression test for #57188 |
2 | ||
3 | // check-pass | |
4 | ||
6a06907d XL |
5 | // revisions: min_tait full_tait |
6 | #![feature(min_type_alias_impl_trait)] | |
7 | #![cfg_attr(full_tait, feature(type_alias_impl_trait))] | |
8 | //[full_tait]~^ WARN incomplete | |
f035d41b XL |
9 | |
10 | struct Baz<'a> { | |
11 | source: &'a str, | |
12 | } | |
13 | ||
14 | trait Foo<'a> { | |
15 | type T: Iterator<Item = Baz<'a>> + 'a; | |
16 | fn foo(source: &'a str) -> Self::T; | |
17 | } | |
18 | ||
19 | struct Bar; | |
20 | impl<'a> Foo<'a> for Bar { | |
21 | type T = impl Iterator<Item = Baz<'a>> + 'a; | |
22 | fn foo(source: &'a str) -> Self::T { | |
23 | std::iter::once(Baz { source }) | |
24 | } | |
25 | } | |
26 | ||
27 | fn main() {} |