1 error[E0271]: type mismatch resolving `for<'r> <L<[closure@$DIR/issue-62203-hrtb-ice.rs:42:16: 42:19]> as T0<'r, (&'r u8,)>>::O == <_ as Ty<'r>>::V`
2 --> $DIR/issue-62203-hrtb-ice.rs:39:9
5 | - required by a bound introduced by this call
13 | |_________^ type mismatch resolving `for<'r> <L<[closure@$DIR/issue-62203-hrtb-ice.rs:42:16: 42:19]> as T0<'r, (&'r u8,)>>::O == <_ as Ty<'r>>::V`
15 note: expected this to be `<_ as Ty<'_>>::V`
16 --> $DIR/issue-62203-hrtb-ice.rs:21:14
18 LL | type O = T::Output;
20 = note: expected associated type `<_ as Ty<'_>>::V`
22 = help: consider constraining the associated type `<_ as Ty<'_>>::V` to `Unit4` or calling a method that returns `<_ as Ty<'_>>::V`
23 = note: for more information, visit https://doc.rust-lang.org/book/ch19-03-advanced-traits.html
24 note: required by a bound in `T1::m`
25 --> $DIR/issue-62203-hrtb-ice.rs:27:51
27 LL | fn m<'a, B: Ty<'a>, F>(&self, f: F) -> Unit1
28 | - required by a bound in this
30 LL | F: for<'r> T0<'r, (<Self as Ty<'r>>::V,), O = <B as Ty<'r>>::V>,
31 | ^^^^^^^^^^^^^^^^^^^^ required by this bound in `T1::m`
33 error[E0271]: expected `[closure@$DIR/issue-62203-hrtb-ice.rs:42:16: 42:19]` to be a closure that returns `Unit3`, but it returns `Unit4`
34 --> $DIR/issue-62203-hrtb-ice.rs:39:9
37 | - required by a bound introduced by this call
45 | |_________^ expected struct `Unit3`, found struct `Unit4`
47 note: required for `L<[closure@$DIR/issue-62203-hrtb-ice.rs:42:16: 42:19]>` to implement `for<'r> T0<'r, (&'r u8,)>`
48 --> $DIR/issue-62203-hrtb-ice.rs:17:16
50 LL | impl<'a, A, T> T0<'a, A> for L<T>
52 note: required by a bound in `T1::m`
53 --> $DIR/issue-62203-hrtb-ice.rs:27:12
55 LL | fn m<'a, B: Ty<'a>, F>(&self, f: F) -> Unit1
56 | - required by a bound in this
58 LL | F: for<'r> T0<'r, (<Self as Ty<'r>>::V,), O = <B as Ty<'r>>::V>,
59 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `T1::m`
61 error: aborting due to 2 previous errors
63 For more information about this error, try `rustc --explain E0271`.