PostgreSQL 'VALUES -> ANY' transformation

Should a DBMS mend query structure ?