{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"values:"}]}
    values: IndexVec<TyVid, TypeVariableData>,
    /// The origins of each type variable.
    /// Two variables are unified in `eq_relations` when we have a