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