My understanding is that it’s necessary given the current design of the compiler. That doesn’t mean it can’t be removed at some point.

It would be really nice to be able to define trait impls wherever, and it should be possible.