[SERVER-81611] [CQF] ConstEval should not assume (Eq x x) is True Created: 02/Oct/23 Updated: 03/Oct/23 |
|
| Status: | Backlog |
| Project: | Core Server |
| Component/s: | None |
| Affects Version/s: | None |
| Fix Version/s: | None |
| Type: | Task | Priority: | Major - P3 |
| Reporter: | David Percy | Assignee: | Backlog - Query Optimization |
| Resolution: | Unresolved | Votes: | 0 |
| Labels: | None | ||
| Remaining Estimate: | Not Specified | ||
| Time Spent: | Not Specified | ||
| Original Estimate: | Not Specified | ||
| Assigned Teams: |
Query Optimization
|
| Participants: |
| Description |
|
ConstEval makes this assumption:
But it looks like both Instruction::eq and Instruction::cmp3way propagate Nothing, so (Eq x x) may be either True or Nothing. |