From d16aa794921efd3c8e752645f3e5f922abc3aee8 Mon Sep 17 00:00:00 2001
From: Ginger Bill <bill@gingerbill.org>
Date: Tue, 18 Jul 2017 18:05:41 +0100
Subject: General specialization for polymorphic parameters

---
 src/types.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/types.cpp')

diff --git a/src/types.cpp b/src/types.cpp
index b097432f4..96cec42c4 100644
--- a/src/types.cpp
+++ b/src/types.cpp
@@ -1121,7 +1121,7 @@ bool are_types_identical(Type *x, Type *y) {
 	switch (x->kind) {
 	case Type_Generic:
 		if (y->kind == Type_Generic) {
-			return true; // TODO(bill): Is this correct?
+			return are_types_identical(x->Generic.specialized, y->Generic.specialized);
 		}
 		break;
 
-- 
cgit v1.2.3