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