-alt/base_virtual_type_redef_alt1.nit:26,20--25: Redef Error: Wrong bound type. Found Number, expected a subtype of Int, as in base_virtual_type_redef_alt1#Number#OTHE2.
+alt/base_virtual_type_redef_alt1.nit:26,20--25: Redef Error: expected `Int` bound type; got `Number`.