1 files changed, 24 insertions, 0 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
new file mode 100644
index 000000000..37c6954fd
--- /dev/null
+++ b/src/test/ui/where-clauses/where-for-self-2.rs
@@ -0,0 +1,24 @@
+// 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
+}