src/test/ui/generic-associated-types/issue-86483.rs

   1 // Regression test of #86483.
   2
   3 #![feature(generic_associated_types)]
   4
   5 pub trait IceIce<T> //~ ERROR: the parameter type `T` may not live long enough
   6 where
   7     for<'a> T: 'a,
   8 {
   9     type Ice<'v>: IntoIterator<Item = &'v T>;
  10     //~^ ERROR: the parameter type `T` may not live long enough
  11     //~| ERROR: the parameter type `T` may not live long enough
  12 }
  13
  14 fn main() {}