test: add new test base_virtual_type_check.nit
[nit.git] / tests / sav / error_type_not_ok3_alt1.sav
2009-07-04 Jean Privatsyntax: do not process erroneous formal types