pub fn optimize(
    expr: &mut MirScalarExpr,
    input_type: &RelationType,
    column_knowledge: &[DatumKnowledge],
    knowledge_stack: &mut Vec<DatumKnowledge>
) -> Result<DatumKnowledge, TransformError>
Expand description

Attempts to optimize

knowledge_stack is a pre-allocated vector but is expected not to contain any elements.