fixes #24630; static openArray backed by seq cannot be passed to anot…

…her function (#24638) fixes #24630 (cherry picked from commit 2f402fc)
nim-lang · Jan 24, 2025 · e2ae7d5 · e2ae7d5
1 parent 772ebe6
commit e2ae7d5
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/compiler/vmgen.nim b/compiler/vmgen.nim
@@ -2013,7 +2013,7 @@ proc genArrayConstr(c: PCtx, n: PNode, dest: var TDest) =
   c.gABx(n, opcLdNull, dest, c.genType(n.typ))
 
   let intType = getSysType(c.graph, n.info, tyInt)
-  let seqType = n.typ.skipTypes(abstractVar-{tyTypeDesc})
+  let seqType = n.typ.skipTypes(abstractVar+{tyStatic}-{tyTypeDesc})
   if seqType.kind == tySequence:
     var tmp = c.getTemp(intType)
     c.gABx(n, opcLdImmInt, tmp, n.len)

diff --git a/tests/vm/topenarrays.nim b/tests/vm/topenarrays.nim
@@ -67,3 +67,12 @@ template fn=
   doAssert test([0,1,2,3,4,5]).id == 0
 fn() # ok
 static: fn()
+
+block: # bug #24630
+  func f(a: static openArray[int]): int =
+    12
+
+  func g(a: static openArray[int]) =
+    const b = f(a)
+
+  g(@[1,2,3])