From f8b9d8c1904c662f07e5ee1138357695a1df9ac3 Mon Sep 17 00:00:00 2001
From: "Andrey R (cooldome)" <ariabushenko@gmail.com>
Date: Tue, 24 Nov 2020 11:53:55 +0000
Subject: [PATCH] fix #16110

---
 tests/macros/tgetimpl.nim | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/tests/macros/tgetimpl.nim b/tests/macros/tgetimpl.nim
index d231a4336a..54fd2b3e5f 100644
--- a/tests/macros/tgetimpl.nim
+++ b/tests/macros/tgetimpl.nim
@@ -65,3 +65,22 @@ macro check_gen_proc(ex: typed): (bool, bool) =
 let a = @[1,2,3]
 assert: check_gen_proc(len(a)) == (false, true)
 
+
+
+#---------------------------------------------------------------
+# issue #16110
+
+macro check(x: type): untyped =
+  let z = getType(x)
+  let y = getImpl(z[1])
+  echo z.treeRepr
+  expectKind(z[1], nnkSym)
+  expectKind(y[0], nnkSym)
+  doAssert(y[0] == z[1])
+
+type
+  TirePtr = ptr object
+    code: int
+
+var z: TirePtr
+check(typeof(z[]))
\ No newline at end of file