Fix polymorphic constant parameters for procedures

1 files changed, 4 insertions, 0 deletions

diff --git a/src/types.cpp b/src/types.cpp
index c4a062421..14b2e449e 100644
--- a/src/types.cpp
+++ b/src/types.cpp
@@ -1396,6 +1396,10 @@ bool are_types_identical(Type *x, Type *y) {
 					if (xe->kind != ye->kind || !are_types_identical(xe->type, ye->type)) {
 						return false;
 					}
+					if (xe->kind == Entity_Constant && !compare_exact_values(Token_CmpEq, xe->Constant.value, ye->Constant.value)) {
+						// NOTE(bill): This is needed for polymorphic procedures
+						return false;
+					}
 				}
 				return true;
 			}