pub fn normalized_coercion_decision(
expected: &NormalizedTy,
actual: &NormalizedTy,
) -> CoercionDecisionExpand description
Compute coercion compatibility for two normalized types.
pub fn normalized_coercion_decision(
expected: &NormalizedTy,
actual: &NormalizedTy,
) -> CoercionDecisionCompute coercion compatibility for two normalized types.