remove restriction in semtempl, test nim-lang#23898

compiler/semtempl.nim

@@ -362,7 +362,7 @@ proc semTemplBody(c: var TemplCtx, n: PNode): PNode =
         result = newSymNode(s, n.info)
         onUse(n.info, s)
       else:
-        if s.kind in {skType, skVar, skLet, skConst}:
+        if s.kind in {skVar, skLet, skConst}:
           discard qualifiedLookUp(c.c, n, {checkAmbiguity, checkModule})
         result = semTemplSymbol(c.c, n, s, c.noGenSym > 0)
   of nkBind:
@@ -572,7 +572,7 @@ proc semTemplBody(c: var TemplCtx, n: PNode): PNode =
       elif contains(c.toMixin, s.name.id):
         return symChoice(c.c, n, s, scForceOpen, c.noGenSym > 0)
       else:
-        if s.kind in {skType, skVar, skLet, skConst}:
+        if s.kind in {skVar, skLet, skConst}:
           discard qualifiedLookUp(c.c, n, {checkAmbiguity, checkModule})
         return semTemplSymbol(c.c, n, s, c.noGenSym > 0)
     if n.kind == nkDotExpr:

tests/overload/m23898_1.nim

@@ -0,0 +1 @@
+type K* = object

tests/overload/m23898_2.nim

@@ -0,0 +1,4 @@
+import ./m23898_1
+export m23898_1
+template K*(kind: static int): auto = typedesc[m23898_1.K]
+template B*(kind: static int): auto = typedesc[m23898_1.K]

tests/overload/t23898.nim

@@ -0,0 +1,8 @@
+import ./m23898_2
+discard default(B(0))       # compiles
+discard default(m23898_2.B(0))     # compiles
+discard default(K(0))       # compiles
+template r() =
+  discard default(B(0))     # compiles
+  discard default(m23898_2.B(0))   # compiles
+  discard default(K(0))     # does not compile