Function mz_transform::equivalence_propagation::literal_domination

fn literal_domination(old: &MirScalarExpr, new: &MirScalarExpr) -> bool

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.