Merge: Contract: Change mpropdef driving

[nit.git] / tests / sav / test_explain_assert_alt2.res

alt/test_explain_assert_alt2.nit:28,8: Warning: expression is not null, since it is a `Int`.
Runtime assert: 1 == null
Runtime error: Assert failed (alt/test_explain_assert_alt2.nit:28)