typing: on type error, also indicate the resolved type
[nit.git] / tests / base_virtual_type_check.nit
2011-11-25 Jean Privattest: add new test base_virtual_type_check.nit