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