src/test/ui/lifetimes/conflicting-bounds.rs

   1 //~ type annotations needed: cannot satisfy `Self: Gen<'source>`
   2
   3 pub trait Gen<'source> {
   4     type Output;
   5
   6     fn gen<T>(&self) -> T
   7     where
   8         Self: for<'s> Gen<'s, Output = T>;
   9 }
  10
  11 fn main() {}