{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"(Some((true,"}]}
            (Some((true, lhs_ty, lhs_sp)), rhs) => one_side_err(lhs_sp, lhs_ty, rhs),
            }
            (lhs, Some((true, rhs_ty, rhs_sp))) => one_side_err(rhs_sp, rhs_ty, lhs),