ruka_types::coercion

Function ty_coercion_decision

Source 
pub fn ty_coercion_decision(expected: &Ty, actual: &Ty) -> CoercionDecision
Expand description

Compute normalized coercion compatibility for two semantic types.