blob: 73b0a3173644772a32c111083e5a00e6250112c2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
error[E0308]: mismatched types
--> $DIR/placeholder-pattern-fail.rs:9:47
|
LL | let _: for<'a, 'b> fn(Inv<'a>, Inv<'b>) = sub;
| ^^^ one type is more general than the other
|
= note: expected fn pointer `for<'a, 'b> fn(Inv<'a>, Inv<'b>)`
found fn pointer `for<'a> fn(Inv<'a>, Inv<'a>)`
error: aborting due to previous error
For more information about this error, try `rustc --explain E0308`.
|