| // 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() {} |