{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
    /// Two variables are unified in `eq_relations` when we have a
    values: IndexVec<TyVid, TypeVariableData>,
    /// constraint `?X == ?Y`. This table also stores, for each key,