blob: c9c1f4865b81360eadcd5ebd3b9804f3f1c397c3 [file] [log] [blame] [edit]
use clippy_utils::diagnostics::span_lint_and_help;
use clippy_utils::res::MaybeDef;
use clippy_utils::ty::has_debug_impl;
use rustc_hir as hir;
use rustc_lint::LateContext;
use rustc_middle::ty::{self, Ty};
use rustc_span::sym;
use super::OK_EXPECT;
/// lint use of `ok().expect()` for `Result`s
pub(super) fn check(cx: &LateContext<'_>, expr: &hir::Expr<'_>, recv: &hir::Expr<'_>) {
if cx.typeck_results().expr_ty(recv).is_diag_item(cx, sym::Result)
// lint if the caller of `ok()` is a `Result`
&& let result_type = cx.typeck_results().expr_ty(recv)
&& let Some(error_type) = get_error_type(cx, result_type)
&& has_debug_impl(cx, error_type)
{
span_lint_and_help(
cx,
OK_EXPECT,
expr.span,
"called `ok().expect()` on a `Result` value",
None,
"you can call `expect()` directly on the `Result`",
);
}
}
/// Given a `Result<T, E>` type, return its error type (`E`).
fn get_error_type<'a>(cx: &LateContext<'_>, ty: Ty<'a>) -> Option<Ty<'a>> {
match ty.kind() {
ty::Adt(_, args) if ty.is_diag_item(cx, sym::Result) => args.types().nth(1),
_ => None,
}
}