summaryrefslogtreecommitdiffstats
path: root/src/test/ui/trait-bounds/impl-missing-where-clause-lifetimes-from-trait.rs
diff options
context:
space:
mode:
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.rs38
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((), ());
-}