diff --git a/compiler/sigmatch.nim b/compiler/sigmatch.nim index ae31f1630c..b9fb0c9572 100644 --- a/compiler/sigmatch.nim +++ b/compiler/sigmatch.nim @@ -905,7 +905,7 @@ proc typeRel(c: var TCandidate, f, aOrig: PType, doBind = true): TTypeRelation = of tyGenericParam: var x = PType(idTableGet(c.bindings, f)) if x == nil: - if c.calleeSym != nil and c.callee.kind == tyGenericBody and + if c.callee.kind == tyGenericBody and f.kind == tyGenericParam and not c.typedescMatched: # XXX: The fact that generic types currently use tyGenericParam for # their parameters is really a misnomer. tyGenericParam means "match