tests/sav/contracts_inheritance.res

   1 contracts_inheritance.nit:58,6--9: Warning: conflicting property definitions for property `toto` in `MySubArray`: contracts_inheritance$MyArrayInt$toto contracts_inheritance$MyArrayInt2$toto
   2 Runtime error: Assert 'ensure' failed (contracts_inheritance.nit:32)
   3 toto MyArrayInt2
   4 toto MyArrayInt
   5 toto ArrayInt
   6 Good