{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"err.span_label(rhs_expr.span,"}]}
                            err.span_label(rhs_expr.span, rhs_ty_str);
                            err.span_label(lhs_expr.span, lhs_ty_str.clone());
                        }