a_star: don't crash on deserialization errors and limit static types
[nit.git] / tests / sav / error_right_bool.res
1 error_right_bool.nit:17,12: Type Error: expected `Bool`, got `Int`.