ref: 7b625e88ac4f7d8bb5805efa498b29640f36eb80
parent: ceca87556db62e3e6b27e362a0391a0bcc322f3d
author: Ori Bernstein <ori@eigenstate.org>
date: Sun Feb 18 17:25:37 EST 2018
Resolve the impl() type.
--- a/parse/infer.c
+++ b/parse/infer.c
@@ -1324,6 +1324,8 @@
fatal(n, "attempting to refer to hidden decl %s", ctxstr(n));
param = n->expr.param;
+ if (param)
+ tyresolve(param);
if (s->decl.isgeneric) {
subst = mksubst();
if (param)