src/test/ui/regions/forall-wf-reflexive.rs

   1 // Test that we consider `for<'a> T: 'a` to be sufficient to prove
   2 // that `for<'a> T: 'a`.
   3 //
   4 // check-pass
   5
   6 #![allow(warnings)]
   7
   8 fn self_wf1<T>()
   9 where
  10     for<'a> T: 'a,
  11 {
  12     self_wf1::<T>();
  13 }
  14
  15 fn main() {}