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()20 fn main() {}
21