Utf8View column produced incorrect result in a natural join query (SQLancer-NoREC)

[2010YOUY01]

Describe the bug

See the reproducer in datafusion-cli (compiled from the latest main, commit 468a5a8)

table1 and table1_stringview are two tables with logically equivalent data, but with different physical in-memory representations for string column, so given a random query, if we swap tables (table1 <-> table1_stringview), the mutated query should generate the same query result, but the inconsistency has been found:

ataFusion CLI v42.0.0
> create table table1(v1 string);
insert into table1 values('foo'), (NULL);
create table table1_stringview as select arrow_cast(v1, 'Utf8View') as v1 from table1;
0 row(s) fetched.
Elapsed 0.068 seconds.

+-------+
| count |
+-------+
| 2     |
+-------+
1 row(s) fetched.
Elapsed 0.044 seconds.

0 row(s) fetched.
Elapsed 0.014 seconds.

> select * from table1 as t1 natural join table1 as t2;
+-----+
| v1  |
+-----+
| foo |
+-----+
1 row(s) fetched.
Elapsed 0.035 seconds.

> select * from table1 as t1 natural join table1_stringview as t2;
+-----+
| v1  |
+-----+
| foo |
|     |
| foo |
|     |
+-----+
4 row(s) fetched.
Elapsed 0.006 seconds.

To Reproduce

No response

Expected behavior

No response

Additional context

Found by SQLancer #11030

[demetribu]

take

[demetribu]

Problem still exists. Resuming work on this.

datafusion/datafusion/sql/src/relation/join.rs

Line 135 in 701cb00

JoinConstraint::Natural => {

datafusion/datafusion/expr/src/logical_plan/builder.rs

Line 884 in 701cb00

pub fn join_using(

[demetribu]

The query analyzer coerces types as expected.

Projection: t1.v1
  Inner Join: Using CAST(t1.v1 AS Utf8View) = t2.v1
    SubqueryAlias: t1
      TableScan: table1 projection=[v1]
    SubqueryAlias: t2
      TableScan: table1_stringview projection=[v1]

However, the EliminateCrossJoin optimizer rule converts this inner join into a cross join for some reason, which seems to be incorrect.

datafusion/datafusion/optimizer/src/eliminate_cross_join.rs

Line 78 in 818ce3f

impl OptimizerRule for EliminateCrossJoin {