-alt/base_attr7_alt3.nit:36,17--20: Redef Error: Wrong return type. found Bool, expected Int.
-alt/base_attr7_alt3.nit:36,17--20: Redef Error: Wrong type for parameter `baz'. found Bool, expected Int.
+alt/base_attr7_alt3.nit:36,17--20: Redef Error: expected `Int` return type; got `Bool`.
+alt/base_attr7_alt3.nit:36,17--20: Redef Error: expected `Int` type for parameter `baz'; got `Bool`.