blob: 239f4553938617c6838f277b5abfcbfbd4c31b94 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
error[E0308]: mismatched types
--> $DIR/higher-ranked-projection.rs:23:5
|
LL | foo(());
| ^^^^^^^ one type is more general than the other
|
= note: expected reference `&'a ()`
found reference `&()`
note: the lifetime requirement is introduced here
--> $DIR/higher-ranked-projection.rs:14:33
|
LL | where for<'a> &'a T: Mirror<Image=U>
| ^^^^^^^
error: aborting due to previous error
For more information about this error, try `rustc --explain E0308`.
|