]>
Commit | Line | Data |
---|---|---|
923072b8 FG |
1 | error[E0308]: mismatched types |
2 | --> $DIR/issue-79187.rs:5:5 | |
3 | | | |
4 | LL | thing(f); | |
5 | | ^^^^^^^^ one type is more general than the other | |
6 | | | |
2b03887a | 7 | = note: expected trait `for<'a> FnOnce<(&'a u32,)>` |
923072b8 FG |
8 | found trait `FnOnce<(&u32,)>` |
9 | note: this closure does not fulfill the lifetime requirements | |
10 | --> $DIR/issue-79187.rs:4:13 | |
11 | | | |
12 | LL | let f = |_| (); | |
064997fb | 13 | | ^^^ |
923072b8 FG |
14 | note: the lifetime requirement is introduced here |
15 | --> $DIR/issue-79187.rs:1:18 | |
16 | | | |
17 | LL | fn thing(x: impl FnOnce(&u32)) {} | |
18 | | ^^^^^^^^^^^^ | |
19 | ||
6a06907d | 20 | error: implementation of `FnOnce` is not general enough |
5869c6ff XL |
21 | --> $DIR/issue-79187.rs:5:5 |
22 | | | |
23 | LL | thing(f); | |
923072b8 | 24 | | ^^^^^^^^ implementation of `FnOnce` is not general enough |
5869c6ff | 25 | | |
6a06907d XL |
26 | = note: closure with signature `fn(&'2 u32)` must implement `FnOnce<(&'1 u32,)>`, for any lifetime `'1`... |
27 | = note: ...but it actually implements `FnOnce<(&'2 u32,)>`, for some specific lifetime `'2` | |
5869c6ff | 28 | |
923072b8 | 29 | error: aborting due to 2 previous errors |
5869c6ff | 30 | |
923072b8 | 31 | For more information about this error, try `rustc --explain E0308`. |