Runtime error: Assert 'expect' failed (contracts_generic_type.nit:33)