The Box<Self> and other: Self cases remind me a lot of the issues with delegation syntax. In fact, I think it’s exactly the same problem, and we’d probably want the “delegation” done by enum impl Trait to work similarly to delegate * to Heavy if only for consistency’s sake.
1 Like