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