From d0e5bd2305db719b0c9acb6a017c8aa579a2f246 Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Thu, 29 Aug 2019 12:10:31 +0200
Subject: [PATCH] fixes a critical type checking regression

---
 compiler/types.nim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/types.nim b/compiler/types.nim
index 5e157272e..1c21fffb1 100644
--- a/compiler/types.nim
+++ b/compiler/types.nim
@@ -1254,7 +1254,7 @@ proc typeAllowedAux(marker: var IntSet, typ: PType, kind: TSymKind,
   of tyProc:
     let f = if kind in {skProc, skFunc}: flags+{taNoUntyped} else: flags
     for i in 1 ..< sonsLen(t):
-      result = typeAllowedAux(marker, t.sons[i], skParam, f)
+      result = typeAllowedAux(marker, t.sons[i], skParam, f-{taIsOpenArray})
       if result != nil: break
     if result.isNil and t.sons[0] != nil:
       result = typeAllowedAux(marker, t.sons[0], skResult, flags)