I don’t really understand how this is different from impl Foo for Thing. If you’re going to be required to impl Foo for every variant of Thing, why not just impl it on Thing directly? What does this proposal allow you to do that wouldn’t otherwise be possible?
1 Like