typing: generalize warning on useless type tests.

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

diff --git a/src/typing.nit b/src/typing.nit
index 2a21437..9cd96c6 100644 (file)
--- a/src/typing.nit
+++ b/src/typing.nit
@@ -191,7 +191,7 @@ private class TypeVisitor
 
                if sup == sub then
                        self.modelbuilder.warning(node, "Warning: Expression is already a {sup}.")
-               else if self.is_subtype(sub, sup) and not sup.need_anchor then
+               else if self.is_subtype(sub, sup) then
                        self.modelbuilder.warning(node, "Warning: Expression is already a {sup} since it is a {sub}.")
                end
                return sup