optimizer: bool expression folding "self equal" as always true

[st1page]

risingwave/src/frontend/planner_test/tests/testdata/output/ch_benchmark.yaml

Lines 693 to 694 in 34ec260

	│ │ └─StreamFilter { predicate: (order_line.ol_d_id = order_line.ol_d_id) }
	│ │ └─StreamTableScan { table: order_line, columns: [order_line.ol_o_id, order_line.ol_d_id, order_line.ol_w_id, order_line.ol_i_id, order_line.ol_amount, order_line.ol_number], pk: [order_line.ol_w_id, order_line.ol_d_id, order_line.ol_o_id, order_line.ol_number], dist: UpstreamHashShard(order_line.ol_o_id, order_line.ol_d_id, order_line.ol_w_id, order_line.ol_number) }

[xzhseh]

It's worth noticing that this does not only happen to StreamFilter, but also the predicates of StreamHashJoin and BatchHashJoin.

risingwave/src/frontend/planner_test/tests/testdata/output/ch_benchmark.yaml

Line 3333 in 34ec260

└─LogicalJoin { type: LeftAnti, on: (order_line.ol_o_id = order_line.ol_o_id) AND (order_line.ol_w_id = order_line.ol_w_id) AND (order_line.ol_d_id = order_line.ol_d_id) AND (order_line.ol_delivery_d > order_line.ol_delivery_d), output: [supplier.s_name] }

risingwave/src/frontend/planner_test/tests/testdata/output/ch_benchmark.yaml

Line 3351 in 34ec260

└─BatchHashJoin { type: LeftAnti, predicate: order_line.ol_o_id = order_line.ol_o_id AND order_line.ol_w_id = order_line.ol_w_id AND order_line.ol_d_id = order_line.ol_d_id AND (order_line.ol_delivery_d > order_line.ol_delivery_d), output: [supplier.s_name] }

risingwave/src/frontend/planner_test/tests/testdata/output/ch_benchmark.yaml

Line 3370 in 34ec260

└─StreamHashJoin { type: LeftAnti, predicate: order_line.ol_o_id = order_line.ol_o_id AND order_line.ol_w_id = order_line.ol_w_id AND order_line.ol_d_id = order_line.ol_d_id AND (order_line.ol_delivery_d > order_line.ol_delivery_d), output: [supplier.s_name, stock.s_w_id, stock.s_i_id, order_line.ol_d_id, order_line.ol_o_id, order_line.ol_number, supplier.s_nationkey, $expr1, order_line.ol_w_id] }