From d65a0a3144eb42e526f520746758073b8813cfda Mon Sep 17 00:00:00 2001
From: metagn <metagngn@gmail.com>
Date: Fri, 13 Jun 2025 01:03:02 +0300
Subject: [PATCH] don't set sym of generic param type value to generic param
 sym (#24995)

fixes #23713

`linkTo` normally sets the sym of the type as well as the type of the
sym, but this is not wanted for custom pragmas as it would look up the
definition of the generic param and not the definition of its value. I
don't see a practical use for this either.

(cherry picked from commit 7701b3c7e6f6c640a89cc445b40f466834ab4fcf)
---
 compiler/semexprs.nim                       |  8 ++++++--
 tests/pragmas/tgenericparamcustompragma.nim | 13 +++++++++++++
 2 files changed, 19 insertions(+), 2 deletions(-)
 create mode 100644 tests/pragmas/tgenericparamcustompragma.nim

diff --git a/compiler/semexprs.nim b/compiler/semexprs.nim
index 6cc29bd86f..c7a0994099 100644
--- a/compiler/semexprs.nim
+++ b/compiler/semexprs.nim
@@ -1292,7 +1292,9 @@ proc readTypeParameter(c: PContext, typ: PType,
             # This seems semantically correct and then we'll be able
             # to return the section symbol directly here
             let foundType = makeTypeDesc(c, def[2].typ)
-            return newSymNode(copySym(def[0].sym, c.idgen).linkTo(foundType), info)
+            let s = copySym(def[0].sym, c.idgen)
+            s.typ = foundType
+            return newSymNode(s, info)
 
       of nkConstSection:
         for def in statement:
@@ -1317,7 +1319,9 @@ proc readTypeParameter(c: PContext, typ: PType,
             return c.graph.emptyNode
         else:
           let foundTyp = makeTypeDesc(c, rawTyp)
-          return newSymNode(copySym(tParam.sym, c.idgen).linkTo(foundTyp), info)
+          let s = copySym(tParam.sym, c.idgen)
+          s.typ = foundTyp
+          return newSymNode(s, info)
 
   return nil
 
diff --git a/tests/pragmas/tgenericparamcustompragma.nim b/tests/pragmas/tgenericparamcustompragma.nim
new file mode 100644
index 0000000000..d629f49324
--- /dev/null
+++ b/tests/pragmas/tgenericparamcustompragma.nim
@@ -0,0 +1,13 @@
+# issue #23713
+
+import std/macros
+
+template p {.pragma.}
+
+type
+  X {.p.} = object
+
+  Y[T] = object
+    t: T
+
+doAssert Y[X].T.hasCustomPragma(p)