-test_variance_attr.nit:28,20--31: Redef Error: Wrong type for parameter `foo'. found nullable Int, expected nullable Object.
-test_variance_attr.nit:29,20--29: Redef Error: Wrong type for parameter `bar'. found nullable B, expected nullable A.
+test_variance_attr.nit:28,20--31: Redef Error: expected `nullable Object` type for parameter `foo'; got `nullable Int`.
+test_variance_attr.nit:29,20--29: Redef Error: expected `nullable A` type for parameter `bar'; got `nullable B`.