Fix issue #146 regarding polymorphic type parameters

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);
 	}
 

src/types.cpp

@@ -836,6 +836,12 @@ Type *base_array_type(Type *t) {
 	return t;
 }
 
+bool is_type_generic(Type *t) {
+	t = base_type(t);
+	return t->kind == Type_Generic;
+}
+
+
 Type *core_array_or_vector_type(Type *t) {
 	for (;;) {
 		Type *prev = t;