join return wrong result when using two equal condition

[ChenPeng2013]

Bug Report

Please answer these questions before submitting your issue. Thanks!

1. Minimal reproduce step (Required)

use test;
drop table if exists t, t1;
create table t(a enum('a', 'b'), b tinyint);
create table t1(c varchar(20));
insert into t values('b', 0);
insert into t1 values('b');

select * from t, t1 where t.a= t1.c;
select * from t, t1 where t.b= t1.c;
select * from t, t1 where t.a = t1.c and t.b= t1.c;

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

mysql> select * from t, t1 where t.a= t1.c;
+------+------+------+
| a    | b    | c    |
+------+------+------+
| b    |    0 | b    |
+------+------+------+
1 row in set (0.00 sec)

mysql> select * from t, t1 where t.b= t1.c;
+------+------+------+
| a    | b    | c    |
+------+------+------+
| b    |    0 | b    |
+------+------+------+
1 row in set, 1 warning (0.00 sec)

mysql> select * from t, t1 where t.a = t1.c and t.b= t1.c;
+------+------+------+
| a    | b    | c    |
+------+------+------+
| b    |    0 | b    |
+------+------+------+
1 row in set, 1 warning (0.00 sec)

3. What did you see instead (Required)

mysql> select * from t, t1 where t.a= t1.c;
+------+------+------+
| a    | b    | c    |
+------+------+------+
| b    |    0 | b    |
+------+------+------+
1 row in set (0.00 sec)

mysql> select * from t, t1 where t.b= t1.c;
+------+------+------+
| a    | b    | c    |
+------+------+------+
| b    |    0 | b    |
+------+------+------+
1 row in set, 1 warning (0.01 sec)

mysql> select * from t, t1 where t.a = t1.c and t.b= t1.c;
Empty set, 1 warning (0.00 sec)

4. What is your TiDB version? (Required)

master 462927b and release-4.0 476c992

[XuHuaiyu]

PTAL @wshwsh12

[sre-bot]

Integrity check:
RCA symptom trigger_condition affect_version fix_version fields are empty
@wshwsh12
Please comment /info to get template

[ti-srebot]

Please edit this comment to complete the following information

Not a bug

1. Remove the 'type/bug' label
2. Add notes to indicate why it is not a bug

Duplicate bug

1. Add the 'type/duplicate' label
2. Add the link to the original bug

Bug

Note: Make Sure that 'component', and 'severity' labels are added
Example for how to fill out the template: #20100

1. Root Cause Analysis (RCA)

The Hybrid types use two EvelType in one expression and propagate a wrong condition.

2. Symptom

Wrong result.

3. All Trigger Conditions

The Hybrid types use two EvelType in one expression and propagate a wrong condition.

4. Workaround (optional)

Add cast function for the column.

5. Affected versions

[:v3.0.19],[:v4.0.7]

6. Fixed versions

[v3.0.20],[v4.0.8]