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

(0 件のコメント) (0 件のリアクション) (0 人の担当者)Nim (6 件のフォーク)auto 404

good first issue

Repository metrics

Stars: (121 個のスター)
PR merge metrics: (PR metrics pending)

説明

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 の警告を調べてください。プラグマで警告を抑制するか、コードを調整してraiseを回避することを検討してください。
技術スタック: なし
領域: backend
Issue 種別: バグ
難度: 1
推定時間: 1時間未満
活動状況: 新着
明確さ: 明確
前提条件: Nim
初心者向け度: 80