about summary refs log tree commit diff
path: root/src/test/ui/where-clauses/where-for-self-2.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/where-clauses/where-for-self-2.rs')
-rw-r--r--src/test/ui/where-clauses/where-for-self-2.rs24
1 files changed, 0 insertions, 24 deletions
diff --git a/src/test/ui/where-clauses/where-for-self-2.rs b/src/test/ui/where-clauses/where-for-self-2.rs
deleted file mode 100644
index 37c6954fd52..00000000000
--- a/src/test/ui/where-clauses/where-for-self-2.rs
+++ /dev/null
@@ -1,24 +0,0 @@
-// Test that we can quantify lifetimes outside a constraint (i.e., including
-// the self type) in a where clause. Specifically, test that implementing for a
-// specific lifetime is not enough to satisfy the `for<'a> ...` constraint, which
-// should require *all* lifetimes.
-
-static X: &'static u32 = &42;
-
-trait Bar {
-    fn bar(&self);
-}
-
-impl Bar for &'static u32 {
-    fn bar(&self) {}
-}
-
-fn foo<T>(x: &T)
-where
-    for<'a> &'a T: Bar,
-{
-}
-
-fn main() {
-    foo(&X); //~ ERROR implementation of `Bar` is not general enough
-}