{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"(Some((true,"}]}
            (Some((true, lhs_ty, lhs_sp)), Some((true, rhs_ty, rhs_sp))) => {
        match (lhs, rhs) {
                err.span_label(lhs_sp, msg(lhs_ty));