From: Jean Privat <jean@pryen.org>
Date: Tue, 15 Jul 2014 19:14:09 +0000 (-0400)
Subject: modelize_property: correctly check signature for getter and setter
X-Git-Tag: v0.6.7~57^2~3
X-Git-Url: http://nitlanguage.org?hp=0b485e8c09a70bc8a05562c8d5a2cc496e1dae22

modelize_property: correctly check signature for getter and setter

Some clone of bug 855796228e2ea1234246990c68741ccffbce93ae
---

diff --git a/src/modelize_property.nit b/src/modelize_property.nit
index 5b306f9..5a0ece8 100644
--- a/src/modelize_property.nit
+++ b/src/modelize_property.nit
@@ -881,7 +881,7 @@ redef class AAttrPropdef
 				for i in [0..mysignature.arity[ do
 					var myt = mysignature.mparameters[i].mtype
 					var prt = msignature.mparameters[i].mtype
-					if not myt.is_subtype(mmodule, mclassdef.bound_mtype, prt) and
+					if not myt.is_subtype(mmodule, mclassdef.bound_mtype, prt) or
 							not prt.is_subtype(mmodule, mclassdef.bound_mtype, myt) then
 						var node: ANode
 						if nsig != null then node = nsig else node = self