From f232329bb12fc9d93fe1e09769e291eae4e2953d Mon Sep 17 00:00:00 2001
From: Bung <crc32@qq.com>
Date: Tue, 27 Dec 2022 19:07:15 +0800
Subject: [PATCH] add test case for #20289 (#21180)

---
 tests/misc/t20289.nim | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 tests/misc/t20289.nim

diff --git a/tests/misc/t20289.nim b/tests/misc/t20289.nim
new file mode 100644
index 0000000000..5a0a269f00
--- /dev/null
+++ b/tests/misc/t20289.nim
@@ -0,0 +1,15 @@
+discard """
+  action: reject
+"""
+
+type E[T] = object
+  v: T
+
+template j[T](R: type E[T], x: untyped): R = R(v: x)
+template d[T](O: type E, v: T): E[T] = E[T].j(v)
+
+proc w[T](): E[T] =
+  template r(k: int): auto = default(T)
+  E.d r
+
+discard w[int]()