src/test/ui/type-alias-impl-trait/type-alias-impl-trait-unconstrained-lifetime.rs

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