X-Git-Url: http://nitlanguage.org diff --git a/tests/sav/base_notnull_alt3.res b/tests/sav/base_notnull_alt3.res index 5ce5c18..f67d2e7 100644 --- a/tests/sav/base_notnull_alt3.res +++ b/tests/sav/base_notnull_alt3.res @@ -1,14 +1,16 @@ alt/base_notnull_alt3.nit:23,7: Type Error: expected `Object`, got `null`. alt/base_notnull_alt3.nit:24,7: Type Error: expected `Object`, got `null`. +alt/base_notnull_alt3.nit:25,6: Warning: expression is always `null`. alt/base_notnull_alt3.nit:27,12: Type Error: expected `Object`, got `null`. +alt/base_notnull_alt3.nit:28,6: Warning: expression is always `null`. alt/base_notnull_alt3.nit:30,12: Type Error: expected `Object`, got `null`. +alt/base_notnull_alt3.nit:31,7: Warning: expression is always `null`. alt/base_notnull_alt3.nit:31,7--20: Type Error: `as(not null)` on `null`. +alt/base_notnull_alt3.nit:32,7: Warning: expression is always `null`. alt/base_notnull_alt3.nit:32,7--20: Type Error: `as(not null)` on `null`. -alt/base_notnull_alt3.nit:33,7: Type Error: `or else` on `null`. -alt/base_notnull_alt3.nit:33,7--17: Type Error: expected `Object`, got `nullable Int`. -alt/base_notnull_alt3.nit:34,7: Type Error: `or else` on `null`. -alt/base_notnull_alt3.nit:34,7--17: Type Error: expected `Object`, got `nullable Int`. -alt/base_notnull_alt3.nit:35,7: Type Error: `or else` on `null`. +alt/base_notnull_alt3.nit:33,7: Warning: expression is always `null`. +alt/base_notnull_alt3.nit:34,7: Warning: expression is always `null`. +alt/base_notnull_alt3.nit:35,7: Warning: expression is always `null`. alt/base_notnull_alt3.nit:35,7--17: Type Error: expected `Object`, got `null`. -alt/base_notnull_alt3.nit:36,7: Type Error: `or else` on `null`. +alt/base_notnull_alt3.nit:36,7: Warning: expression is always `null`. alt/base_notnull_alt3.nit:36,7--17: Type Error: expected `Object`, got `null`.