closes #6559; add testcase (#20200)

nim-lang · Aug 12, 2022 · 1a7b339 · 1a7b339
1 parent ff25103
commit 1a7b339
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/tests/effects/tstrict_effects3.nim b/tests/effects/tstrict_effects3.nim
@@ -27,3 +27,20 @@ func mkEnter() =
     helper()
   else:
     let ast = getAst(helper())
+
+
+# bug #6559
+type
+  SafeFn = proc (): void {. raises: [] }
+
+proc ok() {. raises: [] .} = discard
+proc fail() {. raises: [] .}
+
+let f1 : SafeFn = ok
+let f2 : SafeFn = fail
+
+
+proc fail() = discard
+f1()
+f2()
+