{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"if"}]}
                if opaque_ty_a == opaque_ty_b =>
            (TyKind::OpaqueType(opaque_ty_a, sub_a), TyKind::OpaqueType(opaque_ty_b, sub_b))
            {