Unexpected Result by NATURAL RIGHT JOIN

[bajinsheng]

Bug Report

The expression t0.c0 = (t1.c0 NOT LIKE FALSE) is evaluated to NULL for the first query, but returns non-empty result for the second query.

1. Minimal reproduce step (Required)

CREATE TABLE t0(c0 INT);
CREATE TABLE t1(c0 FLOAT);
INSERT IGNORE INTO t0(c0) VALUES (1);
INSERT INTO t1 VALUES (2);
CREATE VIEW v1(c0) AS SELECT 'a' FROM t1;

SELECT t0.c0 = (t1.c0 NOT LIKE FALSE) FROM t1, t0 NATURAL RIGHT JOIN v1; -- {NULL}
SELECT * FROM t1, t0 NATURAL RIGHT JOIN v1 WHERE t0.c0 = (t1.c0 NOT LIKE FALSE); -- {NULL|a}

2. What did you expect to see? (Required)

3. What did you see instead (Required)

4. What is your TiDB version? (Required)

| Release Version: v7.6.0-alpha-347-g598ccada40-dirty
Edition: Community
Git Commit Hash: 598ccada4065e4871bc5bce53a039cbb598a6d82
Git Branch: master
UTC Build Time: 2023-12-01 01:44:42
GoVersion: go1.21.0
Race Enabled: false
Check Table Before Drop: false
Store: unistore |

[bajinsheng]

/label fuzz/sqlancer