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