{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"ptr::eq(self.0,"}]}
        ptr::eq(self.0, other.0)
        // Pointer equality implies equality, due to the uniqueness constraint.
    }