status-im/nim-taskpools
Spurious warning: cannot raise 'AssertionDefect' [XCannotRaiseY]
Aberta
#27 aberto em 3 de jan. de 2023
good first issue
Métricas do repositório
- Stars
- (121 estrelas)
- Métricas de merge de PR
- (Métricas PR pendentes)
Description
See: https://forum.nim-lang.org/t/9774
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