2023-04-20 14:37:15 +00:00
|
|
|
//@aux-build:paths.rs
|
2022-10-06 07:44:38 +00:00
|
|
|
#![deny(clippy::internal)]
|
|
|
|
#![feature(rustc_private)]
|
|
|
|
|
|
|
|
extern crate clippy_utils;
|
|
|
|
extern crate paths;
|
|
|
|
extern crate rustc_hir;
|
|
|
|
extern crate rustc_lint;
|
|
|
|
extern crate rustc_middle;
|
|
|
|
extern crate rustc_span;
|
|
|
|
|
|
|
|
#[allow(unused)]
|
|
|
|
use clippy_utils::ty::{is_type_diagnostic_item, is_type_lang_item, match_type};
|
|
|
|
#[allow(unused)]
|
|
|
|
use clippy_utils::{
|
|
|
|
is_expr_path_def_path, is_path_diagnostic_item, is_res_diagnostic_ctor, is_res_lang_ctor, is_trait_method,
|
|
|
|
match_def_path, match_trait_method, path_res,
|
|
|
|
};
|
|
|
|
|
|
|
|
#[allow(unused)]
|
|
|
|
use rustc_hir::LangItem;
|
|
|
|
#[allow(unused)]
|
|
|
|
use rustc_span::sym;
|
|
|
|
|
|
|
|
use rustc_hir::def_id::DefId;
|
|
|
|
use rustc_hir::Expr;
|
|
|
|
use rustc_lint::LateContext;
|
|
|
|
use rustc_middle::ty::Ty;
|
|
|
|
|
2022-10-23 13:18:45 +00:00
|
|
|
#[allow(unused, clippy::unnecessary_def_path)]
|
2022-10-06 07:44:38 +00:00
|
|
|
static OPTION: [&str; 3] = ["core", "option", "Option"];
|
2022-10-23 13:18:45 +00:00
|
|
|
#[allow(unused, clippy::unnecessary_def_path)]
|
2022-10-06 07:44:38 +00:00
|
|
|
const RESULT: &[&str] = &["core", "result", "Result"];
|
|
|
|
|
|
|
|
fn _f<'tcx>(cx: &LateContext<'tcx>, ty: Ty<'tcx>, did: DefId, expr: &Expr<'_>) {
|
|
|
|
let _ = is_type_diagnostic_item(cx, ty, sym::Option);
|
|
|
|
let _ = is_type_diagnostic_item(cx, ty, sym::Result);
|
|
|
|
let _ = is_type_diagnostic_item(cx, ty, sym::Result);
|
|
|
|
|
2022-10-23 13:18:45 +00:00
|
|
|
#[allow(unused, clippy::unnecessary_def_path)]
|
2022-10-06 07:44:38 +00:00
|
|
|
let rc_path = &["alloc", "rc", "Rc"];
|
|
|
|
let _ = is_type_diagnostic_item(cx, ty, sym::Rc);
|
|
|
|
|
|
|
|
let _ = is_type_diagnostic_item(cx, ty, sym::Option);
|
|
|
|
let _ = is_type_diagnostic_item(cx, ty, sym::Result);
|
|
|
|
|
|
|
|
let _ = is_type_lang_item(cx, ty, LangItem::OwnedBox);
|
|
|
|
let _ = is_type_diagnostic_item(cx, ty, sym::maybe_uninit_uninit);
|
|
|
|
|
2022-11-05 14:08:37 +00:00
|
|
|
let _ = cx.tcx.lang_items().get(LangItem::OwnedBox) == Some(did);
|
2022-10-06 07:44:38 +00:00
|
|
|
let _ = cx.tcx.is_diagnostic_item(sym::Option, did);
|
2022-11-05 14:08:37 +00:00
|
|
|
let _ = cx.tcx.lang_items().get(LangItem::OptionSome) == Some(did);
|
2022-10-06 07:44:38 +00:00
|
|
|
|
|
|
|
let _ = is_trait_method(cx, expr, sym::AsRef);
|
|
|
|
|
|
|
|
let _ = is_path_diagnostic_item(cx, expr, sym::Option);
|
2022-11-05 14:08:37 +00:00
|
|
|
let _ = path_res(cx, expr).opt_def_id().map_or(false, |id| cx.tcx.lang_items().get(LangItem::IteratorNext) == Some(id));
|
2022-10-06 07:44:38 +00:00
|
|
|
let _ = is_res_lang_ctor(cx, path_res(cx, expr), LangItem::OptionSome);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {}
|