From 2ca6169ba10dca704712b59339a24208e30e79ac Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Fri, 11 Jun 2021 11:09:00 +0200
Subject: [PATCH] added a test case ensuring exception inference continues to
 work

---
 tests/exception/texception_inference.nim | 32 ++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 tests/exception/texception_inference.nim

diff --git a/tests/exception/texception_inference.nim b/tests/exception/texception_inference.nim
new file mode 100644
index 0000000000..7dd01cca1f
--- /dev/null
+++ b/tests/exception/texception_inference.nim
@@ -0,0 +1,32 @@
+discard """
+  output: '''good'''
+  cmd: "nim c --gc:orc -d:release $file"
+"""
+
+type
+  Raising[T, E] = object
+
+proc foo[T, Errors](x: proc (x: Raising[T, Errors])) {.raises: Errors.} =
+  discard
+
+proc callback(x: Raising[int, ValueError]) =
+  echo "callback"
+
+proc xy() {.raises: [ValueError].} =
+  foo callback
+
+proc x[E]() {.raises: [E, IOError].} =
+  raise newException(E, "text here")
+
+try:
+  x[ValueError]()
+except ValueError:
+  echo "good"
+
+proc callback2(x: Raising[int, IOError]) =
+  discard
+
+proc foo2[T, OtherErrors](x: proc(x: Raising[T, OtherErrors])) {.raises: [ValueError, OtherErrors].} =
+  discard
+
+foo2 callback2