From b72f009d87e010a022231a7222f2232c852aefdb Mon Sep 17 00:00:00 2001
From: gingerBill <bill@gingerbill.org>
Date: Tue, 8 Aug 2023 15:10:57 +0100
Subject: [PATCH] Disallow aliasing of `any` and `typeid`

---
 src/check_decl.cpp | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/check_decl.cpp b/src/check_decl.cpp
index 587d749b4..86a887157 100644
--- a/src/check_decl.cpp
+++ b/src/check_decl.cpp
@@ -321,7 +321,14 @@ gb_internal void check_type_decl(CheckerContext *ctx, Entity *e, Ast *init_expr,
 			gb_string_free(str);
 			is_distinct = false;
 		}
+	} else {
+		if (is_type_typeid(e->type)) {
+			error(init_expr, "'typeid' cannot be aliased");
+		} else if (is_type_any(e->type)) {
+			error(init_expr, "'any' cannot be aliased");
+		}
 	}
+
 	if (!is_distinct) {
 		e->type = bt;
 		named->Named.base = bt;