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

diff --git a/src/metrics/detect_covariance.nit b/src/metrics/detect_covariance.nit
index 9090658..25463ad 100644
--- a/src/metrics/detect_covariance.nit
+++ b/src/metrics/detect_covariance.nit
@@ -204,7 +204,7 @@ private class DetectCovariancePhase
 
 		## ONLY covariance remains here
 
-		cpt_modules.inc(mmodule.mgroup.mproject.name)
+		cpt_modules.inc(mmodule.mgroup.mpackage.name)
 		cpt_classes.inc(sub.mclass)
 
 		# Track if `cpt_explanations` is already decided (used to fallback on unknown)
@@ -318,7 +318,7 @@ redef class TypeVisitor
 
 	fun dcp: DetectCovariancePhase do return modelbuilder.toolcontext.detect_covariance_phase
 
-	redef fun visit_expr_cast(node, nexpr, ntype)
+	redef fun check_expr_cast(node, nexpr, ntype)
 	do
 		var sub = super
 
@@ -343,7 +343,7 @@ redef class TypeVisitor
 		return sub
 	end
 
-	redef fun check_subtype(node: ANode, sub, sup: MType): nullable MType
+	redef fun check_subtype(node: ANode, sub, sup: MType, autocast: Bool): nullable MType
 	do
 		var res = super
 
@@ -361,6 +361,9 @@ redef class TypeVisitor
 			if node isa AAsCastExpr then
 				return res
 			end
+			if not autocast then
+				return res
+			end
 			sup = supx.resolve_for(anchor.mclass.mclass_type, anchor, mmodule, true)
 			if self.is_subtype(sub, sup) then
 				dcp.cpt_autocast.inc("vt")
@@ -371,7 +374,7 @@ redef class TypeVisitor
 					dcp.cpt_autocast.inc("vt+pt")
 					dcp.count_cast(node, supx, sub, mmodule, anchor)
 				else
-					self.modelbuilder.error(node, "Type error: expected {sup}, got {sub}")
+					self.modelbuilder.error(node, "Type Error: expected `{sup}`, got `{sub}`")
 					return null
 				end
 			end
@@ -391,10 +394,15 @@ redef class TypeVisitor
 
 		if node isa AArrayExpr then
 			dcp.cpt_explanations.inc("lit-array")
-		else if p isa ACallExpr and (p.n_id.text == "sort" or p.n_id.text == "linearize_mpropdefs") then
-			dcp.cpt_explanations.inc("generic methods (sort-method)")
-		else if p isa ACallExpr and p.n_id.text == "visit_list" then
-			dcp.cpt_explanations.inc("use-site covariance (visit_list-method)")
+		else if p isa ACallExpr then
+			var name = p.n_qid.n_id.text
+			if name == "sort" or name == "linearize_mpropdefs" then
+				dcp.cpt_explanations.inc("generic methods (sort-method)")
+			else if name == "visit_list" then
+				dcp.cpt_explanations.inc("use-site covariance (visit_list-method)")
+			else
+				dcp.cpt_explanations.inc("other covariance")
+			end
 		else
 			dcp.cpt_explanations.inc("other covariance")
 		end