Fix incorrect partition pushdown when no partitionSpec exists in Iceberg

[jinyangli34]

Description

canEnforceColumnConstraintInSpecs may incorrectly return True when no partitionSpec match found. This is because stream.allMatch always returns true on empty stream.

Additional context and related issues

May create incorrect query plan:
without data, plan treats a as partition column.

trino:default> explain select * FROM iceberg.tmp."jl_iceberg_0325" where a = 'a';
                                            Query Plan
---------------------------------------------------------------------------------------------------
 Trino version: 439.0
 Fragment 0 [SOURCE]
     Output layout: [a, ds]
     Output partitioning: SINGLE []
     Output[columnNames = [a, ds]]
     │   Layout: [a:varchar, ds:varchar]
     │   Estimates: {rows: 0 (0B), cpu: 0, memory: 0B, network: 0B}
     └─ TableScan[table = iceberg:tmp.jl_iceberg_0325$dataFOR VERSION AS OF 6043893226421131063]
            Layout: [a:varchar, ds:varchar]
            Estimates: {rows: 0 (0B), cpu: 0, memory: 0B, network: 0B}
            a := 1:a:varchar
                :: [[a]]
            ds := 2:ds:varchar

Issue disappear after a write:

trino:default> explain select * FROM iceberg.tmp."jl_iceberg_0325" where a = 'a';
                                                                Query Plan
------------------------------------------------------------------------------------------------------------------------------------------
 Trino version: 439.0
 Fragment 0 [SOURCE]
     Output layout: [a, ds]
     Output partitioning: SINGLE []
     Output[columnNames = [a, ds]]
     │   Layout: [a:varchar, ds:varchar]
     │   Estimates: {rows: 1 (230B), cpu: 0, memory: 0B, network: 0B}
     └─ ScanFilter[table = iceberg:tmp.jl_iceberg_0325$dataFOR VERSION AS OF 637562949208903568, filterPredicate = ("a" = VARCHAR 'a')]
            Layout: [a:varchar, ds:varchar]
            Estimates: {rows: 1 (230B), cpu: 230, memory: 0B, network: 0B}/{rows: 1 (230B), cpu: 230, memory: 0B, network: 0B}
            a := 1:a:varchar
            ds := 2:ds:varchar

Release notes

(X) This is not user-visible or is docs only, and no release notes are required.
( ) Release notes are required. Please propose a release note for me.
( ) Release notes are required, with the following suggested text:

# Section
* Fix some things. ({issue}`issuenumber`)

[cla-bot]

Thank you for your pull request and welcome to our community. We could not parse the GitHub identity of the following contributors: jinyang_li.
This is most likely caused by a git client misconfiguration; please make sure to:

1. check if your git client is configured with an email to sign commits git config --list | grep email
2. If not, set it up using git config --global user.email [email protected]
3. Make sure that the git commit email is configured in your GitHub account settings, see https://github.com/settings/emails

[findinpath]

Thank you @jinyangli34 for spotting the issue and contributing the fix ❤️

[findinpath]

One task was interrupted.
Rerun the tests

git commit --allow-empty  -m "empty" && git push origin HEAD

Also keep the commit message up to 80 chars per line.