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

(0 commentaire) (0 réaction) (0 personne assignée)Nim (6 forks)auto 404

good first issue

Métriques du dépôt

Stars: (121 étoiles)
Métriques de merge PR: (Métriques PR en attente)

Description

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

Guide contributeur

Direction de recherche: Inspectez la précondition dans contracts.nim et l'avertissement dans channels spsc single.nim. Envisagez de supprimer l'avertissement avec un pragma ou d'ajuster le code pour éviter le raise.
Stack technique: Aucun
Domaine: backend
Type d'issue: Bug
Difficulté: 1
Temps estimé: Moins d'une heure
Statut d'activité: Récente
Clarté: Claire
Prérequis: Nim
Accessibilité débutant: 80