X-Git-Url: http://nitlanguage.org?ds=sidebyside

diff --git a/src/model/model.nit b/src/model/model.nit
index a5aeb76..bace060 100644
--- a/src/model/model.nit
+++ b/src/model/model.nit
@@ -713,7 +713,7 @@ abstract class MType
 		# Now the case of direct null and nullable is over.
 
 		# If `sub` is a formal type, then it is accepted if its bound is accepted
-		while sub isa MParameterType or sub isa MVirtualType do
+		while sub isa MFormalType do
 			#print "3.is {sub} a {sup}?"
 
 			# A unfixed formal type can only accept itself
@@ -737,7 +737,7 @@ abstract class MType
 		assert sub isa MClassType # It is the only remaining type
 
 		# A unfixed formal type can only accept itself
-		if sup isa MParameterType or sup isa MVirtualType then
+		if sup isa MFormalType then
 			return false
 		end