tests/sav/base_attr7_alt3.sav

   1 alt/base_attr7_alt3.nit:36,17--20: Redef error: Expected Int, as in A::baz.
   2 alt/base_attr7_alt3.nit:36,17--20: Redef error: Expected Int, as in the parameter of A::baz=.