modelize_property: use resolve_mtype_unchecked during build_signature
[nit.git] / tests / sav / base_covar_int2_alt2.res
1 alt/base_covar_int2_alt2.nit:41,7--8: Type error: expected Int, got A