typing: on type error, also indicate the resolved type
[nit.git] / tests / sav / error_redef_class.res
1 error_redef_class.nit:17,13--16: Redef error: No imported class Fail to refine.