blob: 40eef11f058e15cd04a9c0b03b77372afad9f7d1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
#![feature(generic_associated_types)]
trait Foo<T> {
type Type<'a>
where
T: 'a;
}
impl<T> Foo<T> for () {
type Type<'a> = ()
where
T: 'a;
}
fn foo<T>() {
let _: for<'a> fn(<() as Foo<T>>::Type<'a>, &'a T) = |_, _| ();
//~^ ERROR `T` does not live long enough
//~| ERROR `T` does not live long enough
//~| ERROR `T` does not live long enough
//~| ERROR `T` does not live long enough
//~| ERROR `T` does not live long enough
//~| ERROR `T` does not live long enough
//~| ERROR `T` does not live long enough
//~| ERROR `T` does not live long enough
//~| ERROR `T` may not live long enough
//
// FIXME: This error is bogus, but it arises because we try to validate
// that `<() as Foo<T>>::Type<'a>` is valid, which requires proving
// that `T: 'a`. Since `'a` is higher-ranked, this becomes
// `for<'a> T: 'a`, which is not true. Of course, the error is bogus
// because there *ought* to be an implied bound stating that `'a` is
// not any lifetime but specifically
// "some `'a` such that `<() as Foo<T>>::Type<'a>" is valid".
}
pub fn main() {}
|
