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`.