tests: Add tests for generic and virtual types
[nit.git] / tests / sav / contracts_virtual_type.res
1 Runtime error: Assert 'expects' failed (contracts_virtual_type.nit:23)