From 0c06a8d15426c6a67c76fa8afbe9d967c46b571b Mon Sep 17 00:00:00 2001 From: gingerBill Date: Sat, 18 Nov 2017 20:56:53 +0000 Subject: Fix issue #146 regarding polymorphic type parameters --- src/check_expr.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/check_expr.cpp') diff --git a/src/check_expr.cpp b/src/check_expr.cpp index 707baaaf7..4c52ca400 100644 --- a/src/check_expr.cpp +++ b/src/check_expr.cpp @@ -767,7 +767,9 @@ bool is_polymorphic_type_assignable(Checker *c, Type *poly, Type *source, bool c if (check_type_specialization_to(c, poly, source, compound, modify_type)) { return true; } - if (compound) return are_types_identical(poly, source); + if (compound || !is_type_generic(poly)) { + return are_types_identical(poly, source); + } return check_is_assignable_to(c, &o, poly); } -- cgit v1.2.3