tests/sav/base_notnull.res

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