Fix substitution of call argument types to generic function type to work with expressions (e.g. fix inferring return type from the return type of a parameter).

git-svn-id: http://svn.drobilla.net/resp/tuplr@154 ad02d1e2-f140-0410-9f75-f8b11f17cedd

1 files changed, 2 insertions, 1 deletions

diff --git a/typing.cpp b/typing.cpp
index 4781b2e..cfc1104 100644
--- a/typing.cpp
+++ b/typing.cpp
@@ -115,7 +115,8 @@ AFn::constrain(TEnv& tenv, Constraints& c) const
 		subst = tsubst;
 	}
 
-	c.constrain(tenv, this, new AType(*genericType));
+	AType* t = new AType(*genericType); // FIXME: deep copy
+	c.constrain(tenv, this, t);
 }
 
 void