Fix type inference with static literals.

Fixes #3977
2017-04-21 22:28:34 +02:00 · 2017-04-21 22:28:34 +02:00 · 03653ab61e
commit 03653ab61e
parent ae342f84de
2 changed files with 13 additions and 1 deletions
--- a/compiler/semstmts.nim
+++ b/compiler/semstmts.nim
@ -498,7 +498,7 @@ proc semVarOrLet(c: PContext, n: PNode, symkind: TSymKind): PNode =
          def = fitNode(c, typ, def, def.info)
          #changeType(def.skipConv, typ, check=true)
      else:
-        typ = skipIntLit(def.typ)
+        typ = def.typ.skipTypes({tyStatic}).skipIntLit
        if typ.kind in tyUserTypeClasses and typ.isResolvedUserTypeClass:
          typ = typ.lastSon
        if hasEmpty(typ):
--- a/tests/generics/t3977.nim
+++ b/tests/generics/t3977.nim
@ -0,0 +1,12 @@
+discard """
+  output: '''42'''
+"""
+
+type
+  Foo[N: static[int]] = object
+
+proc foo[N](x: Foo[N]) =
+  echo N
+
+var f1: Foo[42]
+f1.foo