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
  15     I: Iterator<Item = T>,
  16 {
  17     type MeowType = impl Iterator<Item = T>;
  18     fn meow(self) -> Self::MeowType {
  19         self
  20     }
  21 }
  22
  23 fn main() {}