src/test/ui/impl-trait/type-alias-generic-param.rs

   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
   6 #![feature(type_alias_impl_trait)]
   7
   8 trait Meow {
   9     type MeowType;
  10     fn meow(self) -> Self::MeowType;
  11 }
  12
  13 impl<T, I> Meow for I
  14     where I: Iterator<Item = T>
  15 {
  16     type MeowType = impl Iterator<Item = T>;
  17     fn meow(self) -> Self::MeowType {
  18         self
  19     }
  20 }
  21
  22 fn main() {}