modelize_property: use resolve_mtype_unchecked during build_signature
[nit.git] / tests / sav / error_loop_bool_while.res
1 error_loop_bool_while.nit:17,7: Type error: expected Bool, got Int