Module type_resolution

Expand description

Static SQL type propagation and PostgreSQL-compatible common-type rules.

Traits§

bind_type_introspection: Bind polymorphic type-introspection calls and common-type coercions while the input schema still carries declared SQL types. Runtime values deliberately do not encode integer widths, varchar identity, or float widths, and selector expressions must return the common SQL type rather than the storage type of the branch selected at runtime.
bind_type_introspection_with_resolver: Bind type-introspection calls with access to catalog-backed function and aggregate overloads.
builtin_function_type
common_context_expression_type: Resolve an expression participating in PostgreSQL’s common-type selection. Bare string and NULL literals retain the parser’s unknown type until the surrounding VALUES, set operation, CASE, or array context selects a concrete type.
common_type
equality_operand_type
scalar_type
scalar_type_with_resolver
values_column_types