minor bug fixes to make some tests green

compiler/ast.nim

@@ -603,11 +603,18 @@ type
       
   PLib* = ref TLib
   TSym* = object of TIdObj
+    # proc and type instantiations are cached in the generic symbol
     case kind*: TSymKind
-    of skType:                # generic instantiation caches
+    of skType:
       typeInstCache*: seq[PType]
     of routineKinds:
       procInstCache*: seq[PInstantiation]
+    of skModule:
+      # modules keep track of the generic symbols they use from other modules.
+      # this is because in incremental compilation, when a module is about to
+      # be replaced with a newer version, we must decrement the usage count
+      # of all previously used generics.
+      usedGenerics*: seq[PInstantiation]
     else: nil
 
     magic*: TMagic

compiler/semtypinst.nim

@@ -41,7 +41,6 @@ proc searchInstTypes(key: PType): PType =
     return
 
   for inst in genericTyp.sym.typeInstCache:
-    InternalAssert inst.sons.len == key.sons.len + 1
     if inst.id == key.id: return inst
     block MatchType:
       for j in 1 .. high(key.sons):