function classify_numeric_conversion

classify_numeric_conversion(source: astx.DataType, target: astx.DataType) -> NumericConversion | None

Source: packages/irx/src/irx/analysis/numeric_policy.py:213

Plan implicit eligibility and explicit range checking for numerics.

Return None for unsupported domains. Integer-to-float precision loss is explicit; a finite-range check is needed only for f16 among supported integer widths. Classification alone does not enable checked execution.

Parameters

• source — Type: astx.DataType

• target — Type: astx.DataType

Returns

Type: NumericConversion | None