1 alt/base_as_notnull2_alt1.nit:30,12--25: Warning: expression is already not null, since it is a `Object`.
2 alt/base_as_notnull2_alt1.nit:50,12--25: Warning: expression is already not null, since it is a `F: Object`.
3 alt/base_as_notnull2_alt1.nit:58,7--10: Type error: expected Object, got null