-
Type:
Task
-
Resolution: Unresolved
-
Priority:
Major - P3
-
None
-
Affects Version/s: None
-
Component/s: None
-
Labels:None
-
Query Optimization
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.