From 05d4c79dc5bf86826c53581c7b4ff4fffce89164 Mon Sep 17 00:00:00 2001
From: Karl Zylinski <karl@zylinski.se>
Date: Tue, 6 Oct 2026 20:42:29 +0200
Subject: [PATCH] Parapoly: Fix regression where proc group containing parapoly
 enumerated array specialization was marked as ambigious.

---
 src/check_expr.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/check_expr.cpp b/src/check_expr.cpp
index 6fa17ddba..ad6aff038 100644
--- a/src/check_expr.cpp
+++ b/src/check_expr.cpp
@@ -404,6 +404,10 @@ gb_internal bool poly_specialization_shape_mismatch(Type *s, Type *o, isize dept
 	if (bs == nullptr || bo == nullptr || bs->kind == Type_Generic || bo->kind == Type_Generic) {
 		return false;
 	}
+	if (bs->kind == Type_Array && bo->kind == Type_EnumeratedArray) {
+		// `[$N]$E` can bind to an enumerated array; leave it to subst_unify
+		return false;
+	}
 	if (bs->kind != bo->kind) {
 		return true;
 	}