]>
Commit | Line | Data |
---|---|---|
1b1a35ee XL |
1 | // regression test for #74018 |
2 | ||
6a06907d XL |
3 | // revisions: min_tait full_tait |
4 | #![feature(min_type_alias_impl_trait)] | |
5 | #![cfg_attr(full_tait, feature(type_alias_impl_trait))] | |
6 | //[full_tait]~^ WARN incomplete | |
1b1a35ee XL |
7 | |
8 | trait Trait { | |
9 | type Associated; | |
10 | fn into(self) -> Self::Associated; | |
11 | } | |
12 | ||
13 | impl<'a, I: Iterator<Item = i32>> Trait for (i32, I) { | |
14 | //~^ ERROR the lifetime parameter `'a` is not constrained | |
15 | type Associated = (i32, impl Iterator<Item = i32>); | |
16 | fn into(self) -> Self::Associated { | |
17 | (0_i32, [0_i32].iter().copied()) | |
18 | } | |
19 | } | |
20 | ||
21 | fn main() {} |