From 74499e4561140ffa12384944b0db8c221dc9ee4a Mon Sep 17 00:00:00 2001
From: ringabout <43030857+ringabout@users.noreply.github.com>
Date: Thu, 26 Feb 2026 02:09:24 +0800
Subject: [PATCH] fixes #21281; proc f(x: static[auto]) doesn't treat x as
 static (#25543)

fixes #21281
---
 compiler/semtypes.nim | 10 +++++++++-
 tests/vm/t21281.nim   | 13 +++++++++++++
 2 files changed, 22 insertions(+), 1 deletion(-)
 create mode 100644 tests/vm/t21281.nim

diff --git a/compiler/semtypes.nim b/compiler/semtypes.nim
index 94435886a9..da7576ca4a 100644
--- a/compiler/semtypes.nim
+++ b/compiler/semtypes.nim
@@ -1203,7 +1203,15 @@ proc addImplicitGeneric(c: PContext; typeClass: PType, typId: PIdent;
   # is this a bindOnce type class already present in the param list?
   for i in 0..<genericParams.len:
     if genericParams[i].sym.name.id == finalTypId.id:
-      return genericParams[i].typ
+      if typeClass.kind == tyStatic and genericParams[i].typ.kind != tyStatic:
+        # The base type (e.g. from `auto`) was already added as a generic param,
+        # but `static[auto]` requires upgrading it to a `tyStatic` wrapper so
+        # it is instantiated as a compile-time value (`skConst`).
+        genericParams[i].sym.linkTo(typeClass)
+        typeClass.incl tfImplicitTypeParam
+        return typeClass
+      else:
+        return genericParams[i].typ
 
   let owner = if typeClass.sym != nil: typeClass.sym
               else: getCurrOwner(c)
diff --git a/tests/vm/t21281.nim b/tests/vm/t21281.nim
new file mode 100644
index 0000000000..7c7ffbb3b9
--- /dev/null
+++ b/tests/vm/t21281.nim
@@ -0,0 +1,13 @@
+discard """
+  nimout: '''
+3
+3
+'''
+"""
+
+proc f(x: static[auto]) =  # doesn't work
+  static: echo x
+proc g[T](x: static[T]) =  # works
+  static: echo x
+f(3)
+g(3)
\ No newline at end of file