(I can't comment on the relevant line, but...) is there a reason that this has `K: Clone` and `V: Clone`, rather than just `<K: TotalOrd, V>`? since I don't see either being cloned in this method (and indeed, I would be extremely surprised if they needed to be).