Solution needed for #88061.

Describe the problem

It's a compound problem:

• PostgreSQL and CockroachDB return different results on a simple query containing a correlated join on a vtable;
• CockroachDB also returns inconsistent results depending on which predicate is added to the query, where PostgreSQL would return the same results in any case.

Close inspection of the query plan suggest that the virtual table lookup join (anti) may be inverting its boolean predicate condition.

How to reproduce

After initial:

create type mytype as enum('hello');

Crdb returns conflicting results on the following queries:

SELECT *
  FROM pg_type AS t
 WHERE NOT EXISTS(SELECT 1 FROM pg_type AS el WHERE el.oid = t.typelem AND el.typarray = t.oid)
   AND t.typname LIKE 'myt%'

(here, the output is correct)

and

SELECT *
  FROM pg_type AS t
 WHERE t.typrelid = 0
   AND NOT EXISTS(SELECT 1 FROM pg_type AS el WHERE el.oid = t.typelem AND el.typarray = t.oid)
   AND t.typname LIKE 'myt%'

(here, the output is incorrect)

In PostgreSQL, both queries return the same output, that of the first query above.

This suggests that the query plan for the 2nd query is incorrect.

cc @mgartner for triage.

Jira issue: CRDB-19682
Epic: CRDB-23454