From aaaff9b66ca10edd9cf76bb24463a7b16095325e Mon Sep 17 00:00:00 2001
From: gingerBill <bill@gingerbill.org>
Date: Wed, 6 Sep 2023 17:33:38 +0100
Subject: Fix bug: Disallow non-specialized polymorphic in typeid assignment

---
 src/checker.cpp | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src/checker.cpp')

diff --git a/src/checker.cpp b/src/checker.cpp
index a8efa39ab..18d403d80 100644
--- a/src/checker.cpp
+++ b/src/checker.cpp
@@ -1922,6 +1922,12 @@ gb_internal void add_type_info_type_internal(CheckerContext *c, Type *t) {
 		for_array(i, bt->Union.variants) {
 			add_type_info_type_internal(c, bt->Union.variants[i]);
 		}
+		if (bt->Union.scope != nullptr) {
+			for (auto const &entry : bt->Union.scope->elements) {
+				Entity *e = entry.value;
+				add_type_info_type_internal(c, e->type);
+			}
+		}
 		break;
 
 	case Type_Struct:
@@ -2265,7 +2271,6 @@ gb_internal void add_dependency_to_set(Checker *c, Entity *entity) {
 	if (decl == nullptr) {
 		return;
 	}
-
 	for (Type *t : decl->type_info_deps) {
 		add_min_dep_type_info(c, t);
 	}
-- 
cgit v1.2.3