2 fn foo<'a, K>(self, _: T, _: K) where T: 'a, K: 'a;
5 impl Trait<()> for () {
6 fn foo<'a, K>(self, _: (), _: K) where { //~ ERROR E0195
14 fn foo<'a>(&self, state: &'a State) -> &'a T
19 impl<F, T> Foo<T> for F
23 fn foo<'a>(&self, state: &'a State) -> &'a T { //~ ERROR E0195
29 fn foo<'a>(&'a self) {}
33 fn foo<'a: 'a>(&'a self) {} //~ ERROR E0195