blob: d84539f8ab525e6ae54294d5d7d5fe07459ccfc4 (
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
|
struct Foo<T>(T);
trait GoodBye {
type Forget;
}
impl<T> GoodBye for T {
type Forget = ();
}
trait NeedsWf<'a, 'b> {
type Assoc;
}
impl<'a, 'b> NeedsWf<'a, 'b> for Foo<<&'a &'b () as GoodBye>::Forget> {
type Assoc = &'a &'b ();
//~^ ERROR in type `&'a &'b ()`, reference has a longer lifetime than the data it references
}
fn needs_wf<'a, 'b, T: NeedsWf<'a, 'b>>() {}
fn foo<'a: 'a, 'b: 'b>(_: &'b String) {
needs_wf::<'a, 'b, Foo<()>>();
}
fn main() {
let x = String::from("hello");
foo::<'static, '_>(&x);
}
|
