fn literal_domination(old: &MirScalarExpr, new: &MirScalarExpr) -> boolExpand description
Logic encapsulating our willingness to accept an expression simplification.
For reasons of robustness, we cannot yet perform all recommended simplifications. Certain transforms expect idiomatic expressions, often around precise use of column identifiers, rather than equivalent identifiers.
The substitutions we are confident with are those that introduce literals for columns, or which replace column nullability checks with literals.