Fix cyclic polymorphic procedure usage and improve its error message

1 files changed, 6 insertions, 1 deletions

diff --git a/src/check_type.cpp b/src/check_type.cpp
index 7751dca59..9a2493aed 100644
--- a/src/check_type.cpp
+++ b/src/check_type.cpp
@@ -401,6 +401,11 @@ void check_struct_type(CheckerContext *ctx, Type *struct_type, AstNode *node, Ar
 				is_poly_specialized = false;
 				break;
 			}
+			if (struct_type == o.type) {
+				// NOTE(bill): Cycle
+				is_poly_specialized = false;
+				break;
+			}
 		}
 	}
 
@@ -604,7 +609,7 @@ void check_enum_type(CheckerContext *ctx, Type *enum_type, Type *named_type, Ast
 	if (et->is_export) {
 		Scope *parent = ctx->scope->parent;
 		if (parent->is_file) {
-			// NOTE(bhall): Use package scope
+			// NOTE(bill): Use package scope
 			parent = parent->parent;
 		}
 		for_array(i, fields) {