tests/sav/base_notnull_alt3.res

   1 alt/base_notnull_alt3.nit:23,7: Type error: expected Object, got null
   2 alt/base_notnull_alt3.nit:24,7: Type error: expected Object, got null
   3 alt/base_notnull_alt3.nit:26,8: Type error: expected Object, got null
   4 alt/base_notnull_alt3.nit:27,12: Type error: expected Object, got null
   5 alt/base_notnull_alt3.nit:29,8: Type error: expected Object, got null
   6 alt/base_notnull_alt3.nit:30,12: Type error: expected Object, got null
   7 alt/base_notnull_alt3.nit:31,7--20: Type error: as(not null) on null
   8 alt/base_notnull_alt3.nit:32,7--20: Type error: as(not null) on null
   9 alt/base_notnull_alt3.nit:33,7: Type error: or else on null
  10 alt/base_notnull_alt3.nit:33,7--17: Type error: expected Object, got nullable Int
  11 alt/base_notnull_alt3.nit:34,7: Type error: or else on null
  12 alt/base_notnull_alt3.nit:34,7--17: Type error: expected Object, got nullable Int
  13 alt/base_notnull_alt3.nit:35,7: Type error: or else on null
  14 alt/base_notnull_alt3.nit:35,7--17: Type error: expected Object, got null
  15 alt/base_notnull_alt3.nit:36,7: Type error: or else on null
  16 alt/base_notnull_alt3.nit:36,7--17: Type error: expected Object, got null