Module infer_aggregate_input_bounds 

Structs

InferAggregateInputBoundsRule 🔒

Derives an input bound from an existential HAVING condition and MIN/MAX.

Functions

already_filtered 🔒

bound_from_aggregates 🔒

column_at_is_from_scan 🔒

column_is_from_scan 🔒

columns_are_from_scan 🔒

A projected column can hide division, a fallible cast or a volatile UDF. PushDownFilter may inline it below the WHERE that made evaluation safe.

extremum_bound 🔒

indicator_condition 🔒

infer_bound 🔒

integer_literal 🔒

plain_aggregate 🔒

positive_sum_index 🔒

safe_operand 🔒

safe_predicate 🔒

Rejects explicitly volatile, fallible or subquery expressions. Column references additionally require input-plan provenance checks.