modelize_property: use resolve_mtype_unchecked during build_signature
[nit.git] / tests / sav / base_virtual_type_check_alt7.res
1 alt/base_virtual_type_check_alt7.nit:85,11--15: Type error: expected K, got J