typing: on type error, also indicate the resolved type
[nit.git] / tests / sav / error_spe_proc.res
1 error_spe_proc.nit:23,17--19: Redef Error: toto is a procedure, not a function.