From 24bd370e1b25d7cb8289ceda450a00867fc08db7 Mon Sep 17 00:00:00 2001
From: gingerBill <bill@gingerbill.org>
Date: Sat, 11 Jan 2020 20:11:39 +0000
Subject: [PATCH] Fix Panic with runtime.type_info_base #532

---
 src/check_expr.cpp | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/check_expr.cpp b/src/check_expr.cpp
index b7318ca1d..ac6f22e6d 100644
--- a/src/check_expr.cpp
+++ b/src/check_expr.cpp
@@ -4175,8 +4175,12 @@ bool check_builtin_procedure(CheckerContext *c, Operand *operand, Ast *call, i32
 			return false;
 		}
 		Type *t = o.type;
-		if (t == nullptr || t == t_invalid || is_type_polymorphic(operand->type)) {
-			error(ce->args[0], "Invalid argument for 'type_info_of'");
+		if (t == nullptr || t == t_invalid || is_type_polymorphic(t)) {
+			if (is_type_polymorphic(t)) {
+				error(ce->args[0], "Invalid argument for 'type_info_of', unspecialized polymorphic type");
+			} else {
+				error(ce->args[0], "Invalid argument for 'type_info_of'");
+			}
 			return false;
 		}
 		t = default_type(t);