X-Git-Url: http://nitlanguage.org diff --git a/tests/sav/base_as_notnull2_alt2.res b/tests/sav/base_as_notnull2_alt2.res index ccaa594..4ac9e4e 100644 --- a/tests/sav/base_as_notnull2_alt2.res +++ b/tests/sav/base_as_notnull2_alt2.res @@ -1,5 +1,5 @@ -alt/base_as_notnull2_alt2.nit:30,12--25: Warning: expression is already not null, since it is a `E: Object`. -alt/base_as_notnull2_alt2.nit:50,12--25: Warning: expression is already not null, since it is a `E: Object`. +alt/base_as_notnull2_alt2.nit:30,12: Warning: expression is not null, since it is a `Object`. +alt/base_as_notnull2_alt2.nit:50,12: Warning: expression is not null, since it is a `F: Object`. Runtime error: Cast failed (alt/base_as_notnull2_alt2.nit:40) 1 1