metamodel: fix MMType::is_valid for indirect types

[nit.git] / src / metamodel / type_formal.nit

diff --git a/src/metamodel/type_formal.nit b/src/metamodel/type_formal.nit
index d4da2f5..987d4fd 100644 (file)
--- a/src/metamodel/type_formal.nit
+++ b/src/metamodel/type_formal.nit
@@ -28,7 +28,7 @@ end
 # Formal types are named indirect types
 class MMTypeFormal
 special MMType
-       redef meth is_valid do return _bound != null
+       redef meth is_valid do return _bound != null and _bound.is_valid
 
        # The name of the type
        readable attr _name: Symbol