Spurious warning: cannot raise 'AssertionDefect' [XCannotRaiseY] · status-im/nim-taskpools

(0 条评论) (0 个反应) (0 位负责人)Nim (6 个派生)auto 404

good first issue

仓库指标

星标: (121 个星标)
PR 合并指标: (PR 指标待抓取)

描述

See: https://forum.nim-lang.org/t/9774

https://github.com/status-im/nim-taskpools/blob/89d693d3ffc9e53aa470a9a05166e4f2b58d282a/taskpools/channels_spsc_single.nim#L34

The precondition can in fact raise AssertionDefect https://github.com/status-im/nim-taskpools/blob/89d693d/taskpools/instrumentation/contracts.nim#L91 unless when code is compiled without assertions (danger for example).

An easy fix would be to push that hint off

贡献者指南

研究方向: 检查 contracts.nim 中的前提条件和 channels spsc single.nim 中的警告。考虑使用 pragma 抑制警告或调整代码以避免引发异常。
技术栈: 无
领域: backend
议题类型: 缺陷
难度: 1
预计时间: 1 小时以内
活动状态: 新近可参与
清晰度: 清晰
前置要求: Nim
新手友好度: 80