{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"if"}]}
                if arity_a == arity_b =>
            (TyKind::Tuple(arity_a, sub_a), TyKind::Tuple(arity_b, sub_b))
            {