started to get fn(t @ Type, x: t) to work

1 files changed, 1 insertions, 0 deletions

diff --git a/toc.c b/toc.c
index 9577888..05697a3 100644
--- a/toc.c
+++ b/toc.c
@@ -15,6 +15,7 @@
 
 static Type *type_user_underlying(Type *t) {
 	assert(t->kind == TYPE_USER);
+	assert(t->flags & TYPE_IS_RESOLVED);
 	Declaration *d = t->user.decl;
 	assert(d->flags & DECL_FOUND_VAL);
 	return (d->type.kind == TYPE_TUPLE ? d->val.tuple[t->user.index] : d->val).type;