diff options
Diffstat (limited to 'src/test/ui/trait-bounds/impl-missing-where-clause-lifetimes-from-trait.rs')
-rw-r--r-- | src/test/ui/trait-bounds/impl-missing-where-clause-lifetimes-from-trait.rs | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/src/test/ui/trait-bounds/impl-missing-where-clause-lifetimes-from-trait.rs b/src/test/ui/trait-bounds/impl-missing-where-clause-lifetimes-from-trait.rs deleted file mode 100644 index dcdbd0228..000000000 --- a/src/test/ui/trait-bounds/impl-missing-where-clause-lifetimes-from-trait.rs +++ /dev/null @@ -1,38 +0,0 @@ -trait Trait<T> { - fn foo<'a, K>(self, _: T, _: K) where T: 'a, K: 'a; -} - -impl Trait<()> for () { - fn foo<'a, K>(self, _: (), _: K) where { //~ ERROR E0195 - todo!(); - } -} - -struct State; - -trait Foo<T> { - fn foo<'a>(&self, state: &'a State) -> &'a T - where - T: 'a; -} - -impl<F, T> Foo<T> for F -where - F: Fn(&State) -> &T, -{ - fn foo<'a>(&self, state: &'a State) -> &'a T { //~ ERROR E0195 - self(state) - } -} - -trait Bar { - fn foo<'a>(&'a self) {} -} - -impl Bar for () { - fn foo<'a: 'a>(&'a self) {} //~ ERROR E0195 -} - -fn main() { - ().foo((), ()); -} |