closes nim-lang#21347; adds a test case (nim-lang#23917)

closes nim-lang#21347
jmgomez · Aug 3, 2024 · c97a20c · c97a20c
1 parent 12b9680
commit c97a20c
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/tests/generics/tgeneric0.nim b/tests/generics/tgeneric0.nim
@@ -186,3 +186,11 @@ block:
 
   var b: JsonValueRef[string]
   scanValue(b)
+
+block: # bug #21347
+  type K[T] = object
+  template s[T]() = discard
+  proc b1(n: bool | bool) = s[K[K[int]]]()
+  proc b2(n: bool) =        s[K[K[int]]]()
+  b1(false)   # Error: 's' has unspecified generic parameters
+  b2(false)   # Builds, on its own