]> git.lizzy.rs Git - rust.git/blob - src/test/ui/lub-glb/old-lub-glb-hr.stderr
move leak-check to during coherence, candidate eval
[rust.git] / src / test / ui / lub-glb / old-lub-glb-hr.stderr
1 error[E0308]: `match` arms have incompatible types
2   --> $DIR/old-lub-glb-hr.rs:40:14
3    |
4 LL |       let z = match 22 {
5    |  _____________-
6 LL | |         0 => x,
7    | |              - this is found to be of type `for<'a, 'b> fn(&'a u8, &'b u8) -> &'a u8`
8 LL | |         _ => y,
9    | |              ^ one type is more general than the other
10 LL | |     };
11    | |_____- `match` arms have incompatible types
12    |
13    = note: expected fn pointer `for<'a, 'b> fn(&'a u8, &'b u8) -> &'a u8`
14               found fn pointer `for<'a> fn(&'a u8, &'a u8) -> &'a u8`
15
16 error: aborting due to previous error
17
18 For more information about this error, try `rustc --explain E0308`.