Function type_certainty

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