base_notnull.nit:25,6: Warning: expression is not null, since it is a `not null E`.
base_notnull.nit:28,6: Warning: expression is not null, since it is a `not null E`.
base_notnull.nit:31,7: Warning: expression is not null, since it is a `not null E`.
base_notnull.nit:32,7: Warning: expression is not null, since it is a `not null E`.
base_notnull.nit:33,7: Warning: expression is not null, since it is a `not null E`.
base_notnull.nit:34,7: Warning: expression is not null, since it is a `not null E`.
base_notnull.nit:35,7: Warning: expression is not null, since it is a `not null E`.
base_notnull.nit:36,7: Warning: expression is not null, since it is a `not null E`.
1
2
1
2
1
2
1
2
1
2