tests/sav/base_notnull_1alt1_alt1.res

   1 alt/base_notnull_1alt1_alt1.nit:23,7: Type error: expected Object, got nullable E: nullable Object
   2 alt/base_notnull_1alt1_alt1.nit:24,7: Type error: expected Object, got nullable E: nullable Object
   3 alt/base_notnull_1alt1_alt1.nit:27,12: Type error: expected Object, got null
   4 alt/base_notnull_1alt1_alt1.nit:30,12: Type error: expected Object, got null
   5 alt/base_notnull_1alt1_alt1.nit:35,7--17: Type error: expected Object, got nullable E: nullable Object
   6 alt/base_notnull_1alt1_alt1.nit:36,7--17: Type error: expected Object, got nullable E: nullable Object