Details
-
Task
-
Resolution: Unresolved
-
Major - P3
-
None
-
None
-
None
-
None
-
Query Optimization
Description
ConstEval makes this assumption:
// If the subtrees are equal, we can conclude that their result is equal because we
|
// have only pure functions.
|
swapAndUpdate(n, Constant::boolean(true));
|
But it looks like both Instruction::eq and Instruction::cmp3way propagate Nothing, so (Eq x x) may be either True or Nothing.