blob: c6d6f50832829ca8dbdf9d0b1b056690e7474c2d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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
| |
| expected due to this
|
= 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 1 previous error
For more information about this error, try `rustc --explain E0308`.
|