1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
// Case that the fix for #74868 also allowed to compile // check-pass trait BoxedDsl { type Output; } impl<T> BoxedDsl for T where T: BoxedDsl, { type Output = <T as BoxedDsl>::Output; } trait HandleUpdate {} impl<T> HandleUpdate for T where T: BoxedDsl<Output = ()> {} fn main() {}