tests/ui/regions/forall-wf-ref-reflexive.rs

   1 // Test that we consider `for<'a> &'a T: 'a` to be sufficient to prove
   2 // that `for<'a> &'a T: 'a`.
   3 //
   4 // FIXME. Except we don't!
   5
   6 #![allow(warnings)]
   7
   8 fn self_wf2<T>()
   9 where
  10     for<'a> &'a T: 'a,
  11 {
  12     self_wf2::<T>();
  13     //~^ ERROR `T` does not live long enough
  14     //
  15     // FIXME. This ought to be accepted, presumably.
  16 }
  17
  18 fn main() {}