{"ast_node_type":"other","tokens":[{"end":2,"kind":"keyword","start":0,"text":"//"}]}
//
// We expect Hash128 to be well mixed. So there's no point in hashing both parts.
// This also allows using Hash128-containing types in UnHash-based hashmaps, which would otherwise