pub fn rewrite_with_guarantees_map<'a>(
expr: Expr,
guarantees: &'a HashMap<&'a Expr, &'a NullableInterval>,
) -> Result<Transformed<Expr>>Expand description
Rewrite expressions to incorporate guarantees.
Guarantees are a mapping from an expression (which currently is always a column reference) to a NullableInterval. The interval represents the known possible values of the column.
For example, if we know that a column is not null and has values in the
range [1, 10), we can rewrite x IS NULL to false or x < 10 to true.