X-Git-Url: http://nitlanguage.org

diff --git a/src/rapid_type_analysis.nit b/src/rapid_type_analysis.nit
index a40ca22..17d5e0c 100644
--- a/src/rapid_type_analysis.nit
+++ b/src/rapid_type_analysis.nit
@@ -88,7 +88,7 @@ class RapidTypeAnalysis
 		var mtype = callsite.recv
 		var anchor = callsite.anchor
 		if anchor != null then mtype = mtype.anchor_to(callsite.mmodule, anchor)
-		if mtype isa MNullableType then mtype = mtype.mtype
+		mtype = mtype.as_notnullable
 		assert mtype isa MClassType
 		mtype = mtype.mclass.intro.bound_mtype
 		var mproperty = callsite.mproperty
@@ -203,6 +203,7 @@ class RapidTypeAnalysis
 
 		while not todo.is_empty do
 			var mmethoddef = todo.shift
+			var mmeth = mmethoddef.mproperty
 			#print "# visit {mmethoddef}"
 			var v = new RapidTypeVisitor(self, mmethoddef.mclassdef.bound_mtype, mmethoddef)
 
@@ -218,18 +219,18 @@ class RapidTypeAnalysis
 				v.add_monomorphic_send(vararg, self.modelbuilder.force_get_primitive_method(node, "with_native", vararg.mclass, self.mainmodule))
 			end
 
-
-			for i in [0..mmethoddef.msignature.arity[ do
-				var origtype = mmethoddef.mproperty.intro.msignature.mparameters[i].mtype
+			var sig = mmethoddef.msignature.as(not null)
+			var osig = mmeth.intro.msignature.as(not null)
+			for i in [0..sig.arity[ do
+				var origtype = osig.mparameters[i].mtype
 				if not origtype.need_anchor then continue # skip non covariant stuff
-				var paramtype = mmethoddef.msignature.mparameters[i].mtype
-				#paramtype = v.cleanup_type(paramtype).as(not null)
+				var paramtype = sig.mparameters[i].mtype
 				add_cast(paramtype)
 			end
 
 			if not modelbuilder.mpropdef2npropdef.has_key(mmethoddef) then
 				# It is an init for a class?
-				if mmethoddef.mproperty.name == "init" then
+				if mmeth.name == "init" then
 					var nclassdef = self.modelbuilder.mclassdef2nclassdef[mmethoddef.mclassdef]
 					var super_inits = nclassdef.super_inits
 					if super_inits != null then
@@ -247,27 +248,23 @@ class RapidTypeAnalysis
 
 			var npropdef = modelbuilder.mpropdef2npropdef[mmethoddef]
 
-			if npropdef isa AConcreteMethPropdef then
+			if npropdef isa AMethPropdef  then
 				var auto_super_inits = npropdef.auto_super_inits
 				if auto_super_inits != null then
 					for auto_super_init in auto_super_inits do
 						v.add_callsite(auto_super_init)
 					end
 				end
-			else if npropdef isa AInternMethPropdef or
-			  (npropdef isa AExternMethPropdef and npropdef.n_extern != null) then
+			end
+
+			if mmeth.is_new then
+				v.add_type(v.receiver)
+			else if mmethoddef.is_intern or mmethoddef.is_extern then
 				# UGLY: We force the "instantation" of the concrete return type if any
 				var ret = mmethoddef.msignature.return_mtype
 				if ret != null and ret isa MClassType and ret.mclass.kind != abstract_kind and ret.mclass.kind != interface_kind then
 					v.add_type(ret)
 				end
-			else if npropdef isa AExternMethPropdef then
-				var nclassdef = npropdef.parent.as(AClassdef)
-				v.enter_visit(npropdef)
-			else if npropdef isa AExternInitPropdef then
-				v.add_type(v.receiver)
-			else
-
 			end
 
 			v.enter_visit(npropdef)
@@ -460,7 +457,7 @@ class RapidTypeVisitor
 	do
 		mtype = mtype.anchor_to(self.analysis.mainmodule, self.receiver)
 		if mtype isa MNullType then return null
-		if mtype isa MNullableType then mtype = mtype.mtype
+		mtype = mtype.as_notnullable
 		assert mtype isa MClassType
 		assert not mtype.need_anchor
 		return mtype