From 08afa030756cd3209520f6db596605116bc246ac Mon Sep 17 00:00:00 2001
From: Zahary Karadjov <zahary@gmail.com>
Date: Wed, 1 Apr 2020 04:01:25 +0300
Subject: The raises list can now use expressions referencing the generic
 params

---
 compiler/sempass2.nim | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'compiler/sempass2.nim')

diff --git a/compiler/sempass2.nim b/compiler/sempass2.nim
index a4e1dcf00..86149330e 100644
--- a/compiler/sempass2.nim
+++ b/compiler/sempass2.nim
@@ -1083,7 +1083,12 @@ proc track(tracked: PEffects, n: PNode) =
     for i in 0..<n.safeLen: track(tracked, n[i])
 
 proc subtypeRelation(g: ModuleGraph; spec, real: PNode): bool =
-  result = safeInheritanceDiff(g.excType(real), spec.typ) <= 0
+  if spec.typ.kind == tyOr:
+    for t in spec.typ.sons:
+      if safeInheritanceDiff(g.excType(real), t) <= 0:
+        return true
+  else:
+    return safeInheritanceDiff(g.excType(real), spec.typ) <= 0
 
 proc checkRaisesSpec(g: ModuleGraph; spec, real: PNode, msg: string, hints: bool;
                      effectPredicate: proc (g: ModuleGraph; a, b: PNode): bool {.nimcall.}) =
-- 
cgit 1.4.1-2-gfad0