summaryrefslogtreecommitdiffstats
path: root/tests/ui/regions/forall-wf-ref-reflexive.rs
blob: 9c37d72d56b64e277fafe456ce51a52b44c03ebd (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
// 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() {}