]>
Commit | Line | Data |
---|---|---|
60c5eb7d XL |
1 | // Regression test for issue #59342 |
2 | // Checks that we properly detect defining uses of opaque | |
3 | // types in 'item' position when generic parameters are involved | |
4 | // | |
5 | // run-pass | |
6a06907d XL |
6 | // revisions: min_tait full_tait |
7 | #![feature(min_type_alias_impl_trait)] | |
8 | #![cfg_attr(full_tait, feature(type_alias_impl_trait))] | |
9 | //[full_tait]~^ WARN incomplete | |
60c5eb7d XL |
10 | |
11 | trait Meow { | |
12 | type MeowType; | |
13 | fn meow(self) -> Self::MeowType; | |
14 | } | |
15 | ||
16 | impl<T, I> Meow for I | |
17 | where I: Iterator<Item = T> | |
18 | { | |
19 | type MeowType = impl Iterator<Item = T>; | |
20 | fn meow(self) -> Self::MeowType { | |
21 | self | |
22 | } | |
23 | } | |
24 | ||
25 | fn main() {} |