modelize_property: use resolve_mtype_unchecked during build_signature

[nit.git] / src / metrics / detect_variance_constraints.nit

diff --git a/src/metrics/detect_variance_constraints.nit b/src/metrics/detect_variance_constraints.nit
index 0319572..3665376 100644 (file)
--- a/src/metrics/detect_variance_constraints.nit
+++ b/src/metrics/detect_variance_constraints.nit
@@ -50,7 +50,7 @@ private class DetectVarianceConstraintsPhase
        do
                if not toolcontext.opt_detect_variance_constraints.value and not toolcontext.opt_all.value then return
 
-               print "--- Metrics of covariance detection ---"
+               print "--- Detection of variance constraints on formal parameter types ---"
 
                var k = new DetectVarianceConstraints
                k.collect(mainmodule)
@@ -76,11 +76,6 @@ private class DetectVarianceConstraintsPhase
        end
 end
 
-redef class MParameterType
-       # The fully-qualified name of the formal parameter.
-       fun full_name: String do return "{mclass.full_name}::{name}"
-end
-
 # A specific analysis that detects the variance constraints of formal parameters.
 #
 # The client has 3 steps to do: