metamodel: fix MMType::is_valid for indirect types

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

diff --git a/src/metamodel/static_type.nit b/src/metamodel/static_type.nit
index 8d36232..c96a1b8 100644 (file)
--- a/src/metamodel/static_type.nit
+++ b/src/metamodel/static_type.nit
@@ -373,6 +373,7 @@ end
 class MMNullableType
 special MMType
        attr _base_type: MMType
+       redef meth is_valid do return _base_type.is_valid
        redef meth is_nullable: Bool do return true
        redef meth as_notnull do return _base_type
        redef meth as_nullable do return self

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