From 0db32e98854dd3fc5a6e1d27a1d4980fd61053da Mon Sep 17 00:00:00 2001
From: Clyybber <darkmine956@gmail.com>
Date: Fri, 10 Jul 2020 17:13:37 +0200
Subject: [PATCH] Add testcase for #12571 (#14955)

---
 tests/statictypes/tstatictypes.nim | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/tests/statictypes/tstatictypes.nim b/tests/statictypes/tstatictypes.nim
index 2a8d09dbf..50dc60e09 100644
--- a/tests/statictypes/tstatictypes.nim
+++ b/tests/statictypes/tstatictypes.nim
@@ -9,6 +9,7 @@ output: '''
 b is 2 times a
 17
 ['\x00', '\x00', '\x00', '\x00']
+heyho
 '''
 """
 
@@ -223,3 +224,18 @@ block: # issue #14802
     12
   const myConst = static(fn(1))
   doAssert myConst == 12
+
+
+# bug #12571
+type
+  T[K: static bool] = object of RootObj
+    when K == true:
+      foo: string
+    else:
+      bar: string
+  U[K: static bool] = object of T[K]
+
+let t = T[true](foo: "hey")
+let u = U[false](bar: "ho")
+echo t.foo, u.bar
+