diff options
| author | Araq <rumpf_a@web.de> | 2019-08-29 12:10:31 +0200 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2019-08-29 12:10:31 +0200 |
| commit | d0e5bd2305db719b0c9acb6a017c8aa579a2f246 (patch) | |
| tree | eb59622797d388c8c5ea9a6f8c969f75e8c0dd7c | |
| parent | 9203d3a982446990467f4ddcfdc33d2cc5d91882 (diff) | |
| download | Nim-d0e5bd2305db719b0c9acb6a017c8aa579a2f246.tar.gz | |
fixes a critical type checking regression
| -rw-r--r-- | compiler/types.nim | 2 |
1 files changed, 1 insertions, 1 deletions
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) |