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

(0 commenti) (0 reazioni) (0 assegnatari)Nim (6 fork)auto 404

good first issue

Metriche repository

Star: (121 stelle)
Metriche merge PR: (Metriche PR in attesa)

Descrizione

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

Guida contributor

Direzione di ricerca: Ispeziona la precondizione in contracts.nim e l'avviso in channels spsc single.nim. Considera di sopprimere l'avviso con un pragma o di modificare il codice per evitare il raise.
Tech stack: Nessuno
Dominio: backend
Tipo issue: Bug
Difficoltà: 1
Tempo stimato: Meno di 1 ora
Stato attività: Nuova
Chiarezza: Chiara
Prerequisiti: Nim
Adatta ai principianti: 80