Hello community.

I am trying to perform the following query in Ecto

SELECT *
FROM table t 
where ARRAY[2, 12] <@ list_of_ids ;

The closest I have gotten to is

from t in Table,
where: fragment("ARRAY[?] <@ ?", ^list_of_ids, r.list_of_ids)

Performing this query returns the error

(Postgrex.Error) ERROR 42883 (undefined_function) operator does no
t exist: text[] <@ integer[]

Now, I am confident the value of ^list_of_ids is a list of integers. Even so, if I hard code the values in the fragment, it works.

from t in Table,
where: fragment("ARRAY[?] <@ ?", [2,12], r.list_of_ids)

Last night I was searching about similar queries and the only similar issue I was able to find was this one in SO..

I made it work through raw query → Repo.load but I would like to know the real syntax for this operation.

So, my question is:

What is the proper Ecto syntax to accomplish what I am trying to do?

Thank you all.