Fix type env assertion.
If a subtype has args, it should introduce an env.
@@ -237,7 +237,7 @@ mktygeneric(Srcloc loc, Node *name, Type **param, size_t nparam, Type *base)
if (!base->env)
base->env = t->env;
else
- assert(base->env->super == t->env);
+ assert(base->env->super == t->env || base->narg > 0);
return t;
}
