model: promote MGenericType::arguments to MClassType

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/src/model/model.nit b/src/model/model.nit
index 30fa17f..46a8ff4 100644 (file)
--- a/src/model/model.nit
+++ b/src/model/model.nit
@@ -734,6 +734,10 @@ class MClassType
                self.mclass = mclass
        end
 
+       # The formal arguments of the type
+       # ENSURE: return.length == self.mclass.arity
+       var arguments: Array[MType] = new Array[MType]
+
        redef fun to_s do return mclass.to_s
 
        redef fun need_anchor do return false
@@ -831,10 +835,6 @@ class MGenericType
                end
        end
 
-       # The formal arguments of the type
-       # ENSURE: return.length == self.mclass.arity
-       var arguments: Array[MType]
-
        # Recursively print the type of the arguments within brackets.
        # Example: "Map[String,List[Int]]"
        redef fun to_s