Files
Nim/tests/system/tinvalidnot.nim
metagn b97d603cd0 some test cleanups & category reorganization (#22010)
* clean up some test categories

* mention exact slice issue

* magics into system

* move trangechecks into overflow

* move tmemory to system

* try fix CI

* try fix CI

* final CI fix
2023-06-06 06:54:07 +02:00

20 lines
343 B
Nim

discard """
errormsg: "type mismatch"
file: "tinvalidnot.nim"
line: 14
"""
# BUG: following compiles, but should not:
proc nodeOfDegree(x: int): bool =
result = false
proc main =
for j in 0..2:
for i in 0..10:
if not nodeOfDegree(1) >= 0: #ERROR_MSG type mismatch
echo "Yes"
else:
echo "No"
main()