summaryrefslogtreecommitdiff
path: root/parse/infer.c
diff options
context:
space:
mode:
Diffstat (limited to 'parse/infer.c')
-rw-r--r--parse/infer.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/parse/infer.c b/parse/infer.c
index f181107..35146ec 100644
--- a/parse/infer.c
+++ b/parse/infer.c
@@ -647,6 +647,8 @@ tf(Type *orig)
ingeneric += isgeneric;
pushenv(orig->env);
tyresolve(t);
+ if ((tt = boundtype(t)) != NULL)
+ t = tt;
popenv(orig->env);
/* If this is an instantiation of a generic type, we want the params to
* match the instantiation */