tests/ui/lifetimes/conflicting-bounds.rs


1
2
3
4
5
6
7
8
9
10
11

//~ type annotations needed: cannot satisfy `Self: Gen<'source>`

pub trait Gen<'source> {
    type Output;

    fn gen<T>(&self) -> T
    where
        Self: for<'s> Gen<'s, Output = T>;
}

fn main() {}