test_variance_attr.nit:28,21--32: Redef Error: Wrong static type. found nullable Int, expected nullable Object.
test_variance_attr.nit:29,21--30: Redef Error: Wrong static type. found nullable B, expected nullable A.