{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":");"}]}
        );
            self.eq_relations().probe_value(vid)
        self.eq_relations().union_value(vid, TypeVariableValue::Known { value: ty });