1 files changed, 15 insertions, 0 deletions
diff --git a/tests/reject/tnot.nim b/tests/reject/tnot.nim
new file mode 100644
index 000000000..cda551654
--- /dev/null
+++ b/tests/reject/tnot.nim
@@ -0,0 +1,15 @@
+# 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()
+