pub fn expr_type_is_certain(cx: &LateContext<'_>, expr: &Expr<'_>) -> bool