fn expr_type_certainty(cx: &LateContext<'_>, expr: &Expr<'_>) -> Certainty