{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"self.eq_relations().probe_value(vid)"}]}
            self.eq_relations().probe_value(vid)
            "instantiating type variable `{vid:?}` twice: new-value = {ty:?}, old-value={:?}",
        );