From 0149b781d438091ce086449101a916e9b4456b4e Mon Sep 17 00:00:00 2001
From: Roberto Ierusalimschy <roberto@inf.puc-rio.br>
Date: Thu, 30 Oct 2025 10:39:55 -0300
Subject: Case VVARGIND added to luaK_storevar

In a global initialization, the variable does not pass through
'check_readonly', and therefore a VVARGIND is not normalized to a
VINDEXED.
---
 lcode.c           |  4 ++++
 testes/vararg.lua | 12 ++++++++++++
 2 files changed, 16 insertions(+)

diff --git a/lcode.c b/lcode.c
index 7c63abb2..f09edb5f 100644
--- a/lcode.c
+++ b/lcode.c
@@ -1109,6 +1109,10 @@ void luaK_storevar (FuncState *fs, expdesc *var, expdesc *ex) {
       codeABRK(fs, OP_SETFIELD, var->u.ind.t, var->u.ind.idx, ex);
       break;
     }
+    case VVARGIND: {
+      fs->f->flag |= PF_VATAB;  /* function will need a vararg table */
+      /* now, assignment is to a regular table */
+    }  /* FALLTHROUGH */
     case VINDEXED: {
       codeABRK(fs, OP_SETTABLE, var->u.ind.t, var->u.ind.idx, ex);
       break;
diff --git a/testes/vararg.lua b/testes/vararg.lua
index 5711f78b..840c3eee 100644
--- a/testes/vararg.lua
+++ b/testes/vararg.lua
@@ -184,6 +184,18 @@ do  -- _ENV as vararg parameter
       a = 10
     end ]]
   assert(string.find(msg, "const variable 'a'"))
+
+  local function aux (... | _ENV)
+    global a; a = 10
+    return a
+  end
+  assert(aux() == 10)
+
+  local function aux (... | _ENV)
+    global a = 10
+    return a
+  end
+  assert(aux() == 10)
 end
 
 
-- 
cgit v1.2.3-55-g6feb