From 2da4a4fbe3d7ac24b05ee308d5b602a4775ed501 Mon Sep 17 00:00:00 2001
From: Zahary Karadjov <zahary@gmail.com>
Date: Sun, 16 Apr 2017 14:39:00 +0300
Subject: [PATCH] fix regression in tmatrixconcept

---
 compiler/sigmatch.nim | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/compiler/sigmatch.nim b/compiler/sigmatch.nim
index 50a55e8604..90391701c9 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