ref: 4d6ba69e91ccaa8c3f089aa2ecfd37042350d101
parent: 2d9fe7100209acb431e392d58e4cf4eccfde00b7
author: Ori Bernstein <ori@eigenstate.org>
date: Thu Oct 18 19:27:45 EDT 2018
Remove bogus assert.
--- a/parse/type.c
+++ b/parse/type.c
@@ -236,8 +236,6 @@
bindtype(t->env, param[i]);
if (!base->env)
base->env = t->env;
- else
- assert(base->env->super == t->env || base->narg > 0);
return t;
}