Runtime error: Assert 'expect(x.length != 0)' failed (contracts_generic_type.nit:33)