fix nim-lang#10833 type expected error for proc resolution with stati…

…c[int]]

compiler/semexprs.nim

@@ -1232,12 +1232,6 @@ proc semSym(c: PContext, n: PNode, sym: PSym, flags: TExprFlags): PNode =
       # deal with two different ``[]``.
       if s.ast.safeLen == 0: result = inlineConst(c, n, s)
       else: result = newSymNode(s, n.info)
-    of tyStatic:
-      if typ.n != nil:
-        result = typ.n
-        result.typ = typ.base
-      else:
-        result = newSymNode(s, n.info)
     else:
       result = newSymNode(s, n.info)
   of skMacro:

compiler/semtypes.nim

@@ -405,7 +405,7 @@ proc semTypeIdent(c: PContext, n: PNode): PSym =
   if n.kind == nkSym:
     result = getGenSym(c, n.sym)
   else:
-    result = pickSym(c, n, {skType, skGenericParam, skParam})
+    result = pickSym(c, n, {skType, skGenericParam, skParam, skConst})
     if result.isNil:
       result = qualifiedLookUp(c, n, {checkAmbiguity, checkUndeclared})
     if result != nil:
@@ -437,7 +437,7 @@ proc semTypeIdent(c: PContext, n: PNode): PSym =
         else:
           localError(c.config, n.info, errTypeExpected)
           return errorSym(c, n)
-      if result.kind != skType and result.magic notin {mStatic, mType, mTypeOf}:
+      if result.kind notin {skType, skConst} and result.magic notin {mStatic, mType, mTypeOf}:
         # this implements the wanted ``var v: V, x: V`` feature ...
         var ov: TOverloadIter
         var amb = initOverloadIter(ov, c, n)
@@ -448,6 +448,9 @@ proc semTypeIdent(c: PContext, n: PNode): PSym =
           if result.kind != skError: localError(c.config, n.info, errTypeExpected)
           return errorSym(c, n)
       if result.typ.kind != tyGenericParam:
+        if result.kind == skConst:
+          return result
+
         # XXX get rid of this hack!
         var oldInfo = n.info
         when defined(useNodeIds):

tests/generics/t10833.nim

@@ -0,0 +1,14 @@
+type Foo*[A; B; C: static[int]] = object
+  s: string
+
+proc build*[A; B; C: static[int]](s: string;): Foo[A, B, C] =
+    result.s = s
+
+proc build*[A; B; C: static[int]](): Foo[A, B, C] =
+    build[A, B, C]("foo")
+
+type
+    Bar = object
+    Baz = object
+let r = build[Bar, Baz, 1]()
+doAssert r.s == "foo"