1 // Test that we give a note when the old LUB/GLB algorithm would have
2 // succeeded but the new code (which is stricter) gives an error.
6 fn foo(x: &dyn for<'a, 'b> Foo<&'a u8, &'b u8>, y: &dyn for<'a> Foo<&'a u8, &'a u8>) {
10 //~^ ERROR mismatched types
11 //~| ERROR mismatched types
15 fn bar(x: &dyn for<'a, 'b> Foo<&'a u8, &'b u8>, y: &dyn for<'a> Foo<&'a u8, &'a u8>) {
16 // Accepted with explicit case:
18 0 => x as &dyn for<'a> Foo<&'a u8, &'a u8>,