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

(0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Nim (6 Forks)auto 404

good first issue

Repository-Metriken

Stars: (121 Sterne)
PR-Merge-Metriken: (PR-Metriken ausstehend)

Beschreibung

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

Contributor Guide

Research-Richtung: Prüfen Sie die Vorbedingung in contracts.nim und die Warnung in channels spsc single.nim. Erwägen Sie, die Warnung mit einem Prag zu unterdrücken oder den Code anzupassen, um das Raise zu vermeiden.
Tech Stack: Keine
Domain: backend
Issue Type: Fehler
Schwierigkeit: 1
Geschätzte Zeit: Unter 1 Stunde
Aktivitätsstatus: Frisch
Klarheit: Klar
Voraussetzungen: Nim
Einsteigerfreundlichkeit: 80