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
6 #![feature(type_alias_impl_trait)]
10 fn meow(self) -> Self::MeowType;
15 I: Iterator<Item = T>,
17 type MeowType = impl Iterator<Item = T>;
18 fn meow(self) -> Self::MeowType {