• sugar_in_your_tea@sh.itjust.works
      link
      fedilink
      arrow-up
      1
      ·
      3 hours ago

      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.