{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"(ty::Bivariant,"}]}
        (ty::Bivariant, other) | (other, ty::Bivariant) => other,
        // Bivariance is lattice bottom.
        // Invariant is lattice top.