1 files changed, 2 insertions, 0 deletions
diff --git a/types.c b/types.c
index 784c218..a29c9d7 100644
--- a/types.c
+++ b/types.c
@@ -1606,6 +1606,8 @@ static bool types_expr(Typer *tr, Expression *e) {
 		break;
 	}
 	case EXPR_TYPE:
+		if (!type_resolve(tr, &e->typeval, e->where))
+			return false;
 		t->kind = TYPE_TYPE;
 		break;
 	case EXPR_VAL: