{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"(ty::Invariant,"}]}
        (ty::Invariant, _) | (_, ty::Invariant) => ty::Invariant,
        // Invariant is lattice top.
        // If type is required to be covariant and contravariant, then it's invariant.