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