nitc: do not warn on isa related on formal

[nit.git] / src / syntax / typing.nit

diff --git a/src/syntax/typing.nit b/src/syntax/typing.nit
index c3ef59c..054bab3 100644 (file)
--- a/src/syntax/typing.nit
+++ b/src/syntax/typing.nit
@@ -2049,7 +2049,7 @@ abstract class ATypeCheckExpr
                if etype == ttype then
                        v.warning(self, "Warning: Expression is already a {ttype}.")
                else if etype < ttype then
-                       if not ttype isa MMTypeFormal then
+                       if not ttype.has_formal and not etype.has_formal then
                                # the old metamodel is not that great with formal types
                                v.warning(self, "Warning: Expression is already a {ttype} since it is a {etype}.")
                        end