diff options
| -rw-r--r-- | compiler/sigmatch.nim | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/sigmatch.nim b/compiler/sigmatch.nim index 50a55e860..90391701c 100644 --- a/compiler/sigmatch.nim +++ b/compiler/sigmatch.nim @@ -810,6 +810,10 @@ proc inferStaticParam*(c: var TCandidate, lhs: PNode, rhs: BiggestInt): bool = var inferred = newTypeWithSons(c.c, tyStatic, lhs.typ.sons) inferred.n = newIntNode(nkIntLit, rhs) put(c, lhs.typ, inferred) + if c.c.inTypeClass > 0: + # inside concepts, binding is currently done with + # direct mutation of the involved types: + lhs.typ.n = inferred.n return true return false |