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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// Test that we consider `for<'a> T: 'a` to be sufficient to prove
// that `for<'a> T: 'a`.
//
//@ check-pass

#![allow(warnings)]

fn self_wf1<T>()
where
    for<'a> T: 'a,
{
    self_wf1::<T>();
}

fn main() {}