Asking myself the same question. Somehow AnyHashable would have to be Sendable if the type thats passed is Sendable, but since the type is erased, that wouldn't work out. The only option would be to have something like AnySendableHashable type, but that in turn would require us to box the keys which would look weird at the call site, since own types cannot get that compiler magic that AnyHashable has.