fn type_certainty(cx: &LateContext<'_>, ty: &Ty<'_>) -> Certainty