Function mz_transform::column_knowledge::optimize

fn optimize(
    expr: &mut MirScalarExpr,
    column_types: &[ColumnType],
    column_knowledge: &[DatumKnowledge],
    knowledge_stack: &mut Vec<DatumKnowledge>
) -> Result<DatumKnowledge, TransformError>

Attempts to optimize

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