{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"lhs_ty.expect_ty(),"}]}
                lhs_ty.expect_ty(),
            [lhs_ty, rhs_ty, lhs_ct, rhs_ct] => (
                rhs_ty.expect_ty(),