mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Check external before hidden

Browse Source
This commit is contained in:
Tyler Weaver 2023-01-30 15:46:34 -07:00
parent 2432e97d6a
commit c531b09eb8
No known key found for this signature in database
1 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
clippy_lints/src/matches/match_wild_enum.rs
View File

@ -3,6 +3,7 @@
use clippy_utils::{is_refutable, peel_hir_pat_refs, recurse_or_patterns};
use rustc_errors::Applicability;
use rustc_hir::def::{CtorKind, DefKind, Res};
use rustc_hir::def_id::DefId;
use rustc_hir::{Arm, Expr, PatKind, PathSegment, QPath, Ty, TyKind};
use rustc_lint::LateContext;
use rustc_middle::ty::{self, VariantDef};
@ -45,11 +46,11 @@ pub(crate) fn check(cx: &LateContext<'_>, ex: &Expr<'_>, arms: &[Arm<'_>]) {
// Accumulate the variants which should be put in place of the wildcard because they're not
// already covered.
let has_hidden_external = adt_def.variants().iter().any(|x| is_hidden_and_external(cx, x));
let has_hidden_external = adt_def.variants().iter().any(|x| is_external_and_hidden(cx, x));
let mut missing_variants: Vec<_> = adt_def
.variants()
.iter()
.filter(|x| !is_hidden_and_external(cx, x))
.filter(|x| !is_external_and_hidden(cx, x))
.collect();
let mut path_prefix = CommonPrefixSearcher::None;
@ -195,7 +196,14 @@ fn with_prefix(&mut self, path: &'a [PathSegment<'a>]) {
}
}
fn is_hidden_and_external(cx: &LateContext<'_>, variant_def: &VariantDef) -> bool {
(cx.tcx.is_doc_hidden(variant_def.def_id) || cx.tcx.has_attr(variant_def.def_id, sym::unstable))
&& variant_def.def_id.as_local().is_none()
fn is_external_and_hidden(cx: &LateContext<'_>, variant_def: &VariantDef) -> bool {
is_external(variant_def.def_id) && is_hidden(cx, variant_def)
}
fn is_hidden(cx: &LateContext<'_>, variant_def: &VariantDef) -> bool {
cx.tcx.is_doc_hidden(variant_def.def_id) || cx.tcx.has_attr(variant_def.def_id, sym::unstable)
}
fn is_external(def_id: DefId) -> bool {
def_id.as_local().is_none()
}