Module coercion

Enums

CheckPolicy

Runtime check requirement for one coercion.

CoercionDecision

Coercion decision returned by the normalized compatibility table.

MaterializationKind

Materialization category used by lowering.

MaterializationPolicy

Materialization requirement for one coercion.

RuntimeCheckKind

Runtime check category used by coercion planning.

Functions

allowed 🔒

Return one non-exact allowed coercion with provided policies.

borrow_like_coercion 🔒

Compute one borrow/view coercion decision where destination expects a view-like access mode.

boundary_coercion_decision

Compute coercion compatibility for one boundary where access mode is tracked separately.

nested_owned_compatible 🔒

Return one nested owned compatibility decision for one option payload.

nested_tuple_owned_compatible 🔒

Return one nested owned compatibility decision for one tuple payload.

normalized_coercion_decision

Compute coercion compatibility for two normalized types.

owned_coercion 🔒

Compute one owned-to-owned base coercion decision.

ty_coercion_decision

Compute normalized coercion compatibility for two semantic types.

view_from_owned_coercion 🔒

Compute one view-from-owned coercion decision.