ruka_types::coercion

Function boundary_coercion_decision

Source 
pub fn boundary_coercion_decision(
    expected_access: AccessMode,
    expected_ty: &Ty,
    actual_access: AccessMode,
    actual_ty: &Ty,
) -> CoercionDecision
Expand description

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