]>
Commit | Line | Data |
---|---|---|
94222f64 | 1 | error[E0308]: mismatched types |
923072b8 | 2 | --> $DIR/rfc1623.rs:28:8 |
f035d41b | 3 | | |
04454e1e FG |
4 | LL | f: &id, |
5 | | ^^^ one type is more general than the other | |
94222f64 | 6 | | |
923072b8 FG |
7 | = note: expected trait `for<'a, 'b> Fn<(&'a Foo<'b>,)>` |
8 | found trait `Fn<(&Foo<'_>,)>` | |
f035d41b | 9 | |
94222f64 | 10 | error[E0308]: mismatched types |
923072b8 | 11 | --> $DIR/rfc1623.rs:28:8 |
f035d41b | 12 | | |
04454e1e FG |
13 | LL | f: &id, |
14 | | ^^^ one type is more general than the other | |
94222f64 | 15 | | |
923072b8 FG |
16 | = note: expected trait `for<'a, 'b> Fn<(&'a Foo<'b>,)>` |
17 | found trait `Fn<(&Foo<'_>,)>` | |
f035d41b | 18 | |
94222f64 | 19 | error: implementation of `FnOnce` is not general enough |
923072b8 | 20 | --> $DIR/rfc1623.rs:28:8 |
f035d41b | 21 | | |
04454e1e FG |
22 | LL | f: &id, |
23 | | ^^^ implementation of `FnOnce` is not general enough | |
94222f64 | 24 | | |
c295e0f8 | 25 | = note: `fn(&'2 Foo<'_>) -> &'2 Foo<'_> {id::<&'2 Foo<'_>>}` must implement `FnOnce<(&'1 Foo<'b>,)>`, for any lifetime `'1`... |
94222f64 | 26 | = note: ...but it actually implements `FnOnce<(&'2 Foo<'_>,)>`, for some specific lifetime `'2` |
f035d41b | 27 | |
94222f64 | 28 | error: implementation of `FnOnce` is not general enough |
923072b8 | 29 | --> $DIR/rfc1623.rs:28:8 |
04454e1e FG |
30 | | |
31 | LL | f: &id, | |
32 | | ^^^ implementation of `FnOnce` is not general enough | |
94222f64 | 33 | | |
c295e0f8 | 34 | = note: `fn(&Foo<'2>) -> &Foo<'2> {id::<&Foo<'2>>}` must implement `FnOnce<(&'a Foo<'1>,)>`, for any lifetime `'1`... |
94222f64 | 35 | = note: ...but it actually implements `FnOnce<(&Foo<'2>,)>`, for some specific lifetime `'2` |
f035d41b | 36 | |
a2a8927a | 37 | error: aborting due to 4 previous errors |
f035d41b | 38 | |
a2a8927a | 39 | For more information about this error, try `rustc --explain E0308`. |