From 6f347a82aaa20ba92f2d14a69fbaab3d03efe256 Mon Sep 17 00:00:00 2001
From: ringabout <43030857+ringabout@users.noreply.github.com>
Date: Fri, 12 Aug 2022 09:03:10 +0800
Subject: [PATCH] closes #6559; add testcase (#20200)

(cherry picked from commit 1a7b33942b69a60178134c5e1c6f76d0875694d2)
---
 tests/effects/tstrict_effects3.nim | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/tests/effects/tstrict_effects3.nim b/tests/effects/tstrict_effects3.nim
index 4cc4615494..027b464741 100644
--- 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()
+