alt/base_attr7_alt1.nit:34,17--20: Redef error: Expected Int, as in A::foo.