Le casting est très simple :
from sqlalchemy.dialects.postgresql import array, ARRAY
cast(array([]), ARRAY(Integer))
Sans voir ce que vous avez essayé, je ne peux que supposer que vous avez essayé de caster en array(Integer) au lieu de ARRAY(Integer) .
