{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"(_,"}]}
            (_, ConstantTerm(ty::Covariant)) => {
        match (*v1, *v2) {
                // Applying a "covariant" transform is always a no-op