summaryrefslogtreecommitdiffstats
path: root/src/test/ui/regions/forall-wf-ref-reflexive.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/regions/forall-wf-ref-reflexive.rs')
-rw-r--r--src/test/ui/regions/forall-wf-ref-reflexive.rs18
1 files changed, 0 insertions, 18 deletions
diff --git a/src/test/ui/regions/forall-wf-ref-reflexive.rs b/src/test/ui/regions/forall-wf-ref-reflexive.rs
deleted file mode 100644
index 9c37d72d5..000000000
--- a/src/test/ui/regions/forall-wf-ref-reflexive.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-// Test that we consider `for<'a> &'a T: 'a` to be sufficient to prove
-// that `for<'a> &'a T: 'a`.
-//
-// FIXME. Except we don't!
-
-#![allow(warnings)]
-
-fn self_wf2<T>()
-where
- for<'a> &'a T: 'a,
-{
- self_wf2::<T>();
- //~^ ERROR `T` does not live long enough
- //
- // FIXME. This ought to be accepted, presumably.
-}
-
-fn main() {}