{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"ptr::hash(self.0,"}]}
        ptr::hash(self.0, s)
        // Pointer hashing is sufficient, due to the uniqueness constraint.
    }