tests/sav/base_notnull_alt2.res

   1 alt/base_notnull_alt2.nit:21,10: Warning: expression is not null, since it is a `E: Object`.
   2 alt/base_notnull_alt2.nit:22,10: Warning: expression is not null, since it is a `E: Object`.
   3 alt/base_notnull_alt2.nit:25,6: Warning: expression is not null, since it is a `E: Object`.
   4 alt/base_notnull_alt2.nit:28,6: Warning: expression is not null, since it is a `E: Object`.
   5 alt/base_notnull_alt2.nit:31,7: Warning: expression is not null, since it is a `E: Object`.
   6 alt/base_notnull_alt2.nit:32,7: Warning: expression is not null, since it is a `E: Object`.
   7 alt/base_notnull_alt2.nit:33,7: Warning: expression is not null, since it is a `E: Object`.
   8 alt/base_notnull_alt2.nit:34,7: Warning: expression is not null, since it is a `E: Object`.
   9 alt/base_notnull_alt2.nit:35,7: Warning: expression is not null, since it is a `E: Object`.
  10 alt/base_notnull_alt2.nit:36,7: Warning: expression is not null, since it is a `E: Object`.
  11 1
  12 2
  13 1
  14 2
  15 1
  16 2
  17 1
  18 2
  19 1
  20 2