1 error[E0308]: mismatched types
2 --> $DIR/rfc1623-2.rs:28:8
5 | ^^^ one type is more general than the other
7 = note: expected trait `for<'a, 'b> Fn<(&'a Foo<'b>,)>`
8 found trait `Fn<(&Foo<'_>,)>`
10 error[E0308]: mismatched types
11 --> $DIR/rfc1623-2.rs:28:8
14 | ^^^ one type is more general than the other
16 = note: expected trait `for<'a, 'b> Fn<(&'a Foo<'b>,)>`
17 found trait `Fn<(&Foo<'_>,)>`
19 error: implementation of `FnOnce` is not general enough
20 --> $DIR/rfc1623-2.rs:28:8
23 | ^^^ implementation of `FnOnce` is not general enough
25 = note: `fn(&'2 Foo<'_>) -> &'2 Foo<'_> {id::<&'2 Foo<'_>>}` must implement `FnOnce<(&'1 Foo<'b>,)>`, for any lifetime `'1`...
26 = note: ...but it actually implements `FnOnce<(&'2 Foo<'_>,)>`, for some specific lifetime `'2`
28 error: implementation of `FnOnce` is not general enough
29 --> $DIR/rfc1623-2.rs:28:8
32 | ^^^ implementation of `FnOnce` is not general enough
34 = note: `fn(&Foo<'2>) -> &Foo<'2> {id::<&Foo<'2>>}` must implement `FnOnce<(&'a Foo<'1>,)>`, for any lifetime `'1`...
35 = note: ...but it actually implements `FnOnce<(&Foo<'2>,)>`, for some specific lifetime `'2`
37 error: aborting due to 4 previous errors
39 For more information about this error, try `rustc --explain E0308`.