model: Don’t blacklist in specialization rules

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

diff --git a/src/model/model.nit b/src/model/model.nit
index 11592d7..28303d0 100644 (file)
--- a/src/model/model.nit
+++ b/src/model/model.nit
@@ -2602,12 +2602,10 @@ class MClassKind
                else if self == extern_kind then
                        # only compatible with themselves
                        return self == other
-               else if other == enum_kind or other == extern_kind then
-                       # abstract_kind and concrete_kind are incompatible
-                       return false
+               else
+                       # assert self == abstract_kind or self == concrete_kind
+                       return other == abstract_kind or other == concrete_kind
                end
-               # remain only abstract_kind and concrete_kind
-               return true
        end
 end