From ced9ebce1e99d779376c2db51f1a5a1f70c946d4 Mon Sep 17 00:00:00 2001
From: metagn <metagngn@gmail.com>
Date: Tue, 6 Dec 2022 00:52:49 +0300
Subject: [PATCH] fix #16639 (#21017)

---
 compiler/semtypes.nim     |  7 ++++---
 tests/generics/t16639.nim | 21 +++++++++++++++++++++
 2 files changed, 25 insertions(+), 3 deletions(-)
 create mode 100644 tests/generics/t16639.nim

diff --git a/compiler/semtypes.nim b/compiler/semtypes.nim
index 2afebcda36766..3eaf297556bb8 100644
--- a/compiler/semtypes.nim
+++ b/compiler/semtypes.nim
@@ -777,9 +777,10 @@ proc semRecordNodeAux(c: PContext, n: PNode, check: var IntSet, pos: var int,
   if n == nil: return
   case n.kind
   of nkRecWhen:
+    var a = copyTree(n)
     var branch: PNode = nil   # the branch to take
-    for i in 0..<n.len:
-      var it = n[i]
+    for i in 0..<a.len:
+      var it = a[i]
       if it == nil: illFormedAst(n, c.config)
       var idx = 1
       case it.kind
@@ -805,7 +806,7 @@ proc semRecordNodeAux(c: PContext, n: PNode, check: var IntSet, pos: var int,
         semRecordNodeAux(c, it[idx], newCheck, newPos, newf, rectype, hasCaseFields)
         it[idx] = if newf.len == 1: newf[0] else: newf
     if c.inGenericContext > 0:
-      father.add n
+      father.add a
     elif branch != nil:
       semRecordNodeAux(c, branch, check, pos, father, rectype, hasCaseFields)
     elif father.kind in {nkElse, nkOfBranch}:
diff --git a/tests/generics/t16639.nim b/tests/generics/t16639.nim
new file mode 100644
index 0000000000000..fc00dfc3434d7
--- /dev/null
+++ b/tests/generics/t16639.nim
@@ -0,0 +1,21 @@
+discard """
+  action: compile
+"""
+
+type Foo[T] = object
+  when true:
+    x: float
+
+type Bar = object
+  when true:
+    x: float
+
+import std/macros
+import std/assertions
+
+macro test() =
+  let a = getImpl(bindSym"Foo")[^1]
+  let b = getImpl(bindSym"Bar")[^1]
+  doAssert treeRepr(a) == treeRepr(b)
+
+test()