diff options
Diffstat (limited to 'src/test/ui/regions/forall-wf-ref-reflexive.rs')
-rw-r--r-- | src/test/ui/regions/forall-wf-ref-reflexive.rs | 18 |
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() {} |