]>
Commit | Line | Data |
---|---|---|
b7449926 | 1 | error[E0308]: mismatched types |
0731742a | 2 | --> $DIR/hr-subtype.rs:39:26 |
b7449926 XL |
3 | | |
4 | LL | gimme::<$t1>(None::<$t2>); | |
5 | | ^^^^^^^^^^^ expected concrete lifetime, found bound lifetime parameter 'a | |
6 | ... | |
7 | LL | / check! { bound_contra_a_contra_b_ret_co_a: (for<'a,'b> fn(Contra<'a>, Contra<'b>) -> Co<'a>, | |
8 | LL | | for<'a> fn(Contra<'a>, Contra<'a>) -> Co<'a>) } | |
9 | | |______________________________________________________________________________________________- in this macro invocation | |
10 | | | |
60c5eb7d XL |
11 | = note: expected enum `std::option::Option<for<'a, 'b> fn(Contra<'a>, Contra<'b>) -> Co<'a>>` |
12 | found enum `std::option::Option<for<'a> fn(Contra<'a>, Contra<'a>) -> Co<'a>>` | |
b7449926 XL |
13 | |
14 | error: aborting due to previous error | |
15 | ||
16 | For more information about this error, try `rustc --explain E0308`. |