diff --git a/src/check_builtin.cpp b/src/check_builtin.cpp
index 5e132e764..f429f9e99 100644
--- a/src/check_builtin.cpp
+++ b/src/check_builtin.cpp
@@ -3583,7 +3583,7 @@ gb_internal bool check_builtin_procedure(CheckerContext *c, Operand *operand, As
 		Entity *base_type_entity = alloc_entity_type_name(scope, token, elem, EntityState_Resolved);
 		add_entity(c, scope, nullptr, base_type_entity);
 
-		// add_type_info_type(c, soa_struct);
+		add_type_info_type(c, soa_struct);
 
 		operand->type = soa_struct;
 		break;
diff --git a/src/check_stmt.cpp b/src/check_stmt.cpp
index 21df1d0ea..346d45f5b 100644
--- a/src/check_stmt.cpp
+++ b/src/check_stmt.cpp
@@ -1134,7 +1134,7 @@ gb_internal void check_type_switch_stmt(CheckerContext *ctx, Ast *node, u32 mod_
 
 	check_expr(ctx, &x, rhs);
 	check_assignment(ctx, &x, nullptr, str_lit("type switch expression"));
-	// add_type_info_type(ctx, x.type);
+	add_type_info_type(ctx, x.type);
 
 	TypeSwitchKind switch_kind = check_valid_type_switch_type(x.type);
 	if (switch_kind == TypeSwitch_Invalid) {
@@ -1225,7 +1225,7 @@ gb_internal void check_type_switch_stmt(CheckerContext *ctx, Ast *node, u32 mod_
 						continue;
 					}
 					case_type = y.type;
-					// add_type_info_type(ctx, y.type);
+					add_type_info_type(ctx, y.type);
 				} else if (switch_kind == TypeSwitch_Any) {
 					case_type = y.type;
 					add_type_info_type(ctx, y.type);