d647696c1f
So, some context for this, well, more a story. I'm not used to scripting, I've never really scripted anything, even if it's a valuable skill. I just never really needed it. Now, `@flip1995` correctly suggested using a script for this in `rust-clippy#7813`...
And I decided to write a script using nushell because why not? This was a mistake... I spend way more time on this than I would like to admit. It has definitely been more than 4 hours. It shouldn't take that long, but me being new to scripting and nushell just wasn't a good mixture... Anyway, here is the script that creates another script which adds the versions. Fun...
Just execute this on the `gh-pages` branch and the resulting `replacer.sh` in `clippy_lints` and it should all work.
```nu
mv v0.0.212 rust-1.00.0;
mv beta rust-1.57.0;
mv master rust-1.58.0;
let paths = (open ./rust-1.58.0/lints.json | select id id_span | flatten | select id path);
let versions = (
ls | where name =~ "rust-" | select name | format {name}/lints.json |
each { open $it | select id | insert version $it | str substring "5,11" version} |
group-by id | rotate counter-clockwise id version |
update version {get version | first 1} | flatten | select id version);
$paths | each { |row|
let version = ($versions | where id == ($row.id) | format {version})
let idu = ($row.id | str upcase)
$"sed -i '0,/($idu),/{s/pub ($idu),/#[clippy::version = "($version)"]\n pub ($idu),/}' ($row.path)"
} | str collect ";" | str find-replace --all '1.00.0' 'pre 1.29.0' | save "replacer.sh";
```
And this still has some problems, but at this point I just want to be done -.-
102 lines
3.6 KiB
Rust
102 lines
3.6 KiB
Rust
use clippy_utils::diagnostics::span_lint_and_sugg;
|
|
use clippy_utils::source::snippet_with_context;
|
|
use clippy_utils::ty::implements_trait;
|
|
use if_chain::if_chain;
|
|
use rustc_errors::Applicability;
|
|
use rustc_hir::{Expr, ExprKind, Pat, PatKind};
|
|
use rustc_lint::{LateContext, LateLintPass};
|
|
use rustc_middle::ty::Ty;
|
|
use rustc_session::{declare_lint_pass, declare_tool_lint};
|
|
|
|
declare_clippy_lint! {
|
|
/// ### What it does
|
|
/// Checks for pattern matchings that can be expressed using equality.
|
|
///
|
|
/// ### Why is this bad?
|
|
///
|
|
/// * It reads better and has less cognitive load because equality won't cause binding.
|
|
/// * It is a [Yoda condition](https://en.wikipedia.org/wiki/Yoda_conditions). Yoda conditions are widely
|
|
/// criticized for increasing the cognitive load of reading the code.
|
|
/// * Equality is a simple bool expression and can be merged with `&&` and `||` and
|
|
/// reuse if blocks
|
|
///
|
|
/// ### Example
|
|
/// ```rust,ignore
|
|
/// if let Some(2) = x {
|
|
/// do_thing();
|
|
/// }
|
|
/// ```
|
|
/// Should be written
|
|
/// ```rust,ignore
|
|
/// if x == Some(2) {
|
|
/// do_thing();
|
|
/// }
|
|
/// ```
|
|
#[clippy::version = "1.57.0"]
|
|
pub EQUATABLE_IF_LET,
|
|
nursery,
|
|
"using pattern matching instead of equality"
|
|
}
|
|
|
|
declare_lint_pass!(PatternEquality => [EQUATABLE_IF_LET]);
|
|
|
|
/// detects if pattern matches just one thing
|
|
fn unary_pattern(pat: &Pat<'_>) -> bool {
|
|
fn array_rec(pats: &[Pat<'_>]) -> bool {
|
|
pats.iter().all(unary_pattern)
|
|
}
|
|
match &pat.kind {
|
|
PatKind::Slice(_, _, _) | PatKind::Range(_, _, _) | PatKind::Binding(..) | PatKind::Wild | PatKind::Or(_) => {
|
|
false
|
|
},
|
|
PatKind::Struct(_, a, etc) => !etc && a.iter().all(|x| unary_pattern(x.pat)),
|
|
PatKind::Tuple(a, etc) | PatKind::TupleStruct(_, a, etc) => !etc.is_some() && array_rec(a),
|
|
PatKind::Ref(x, _) | PatKind::Box(x) => unary_pattern(x),
|
|
PatKind::Path(_) | PatKind::Lit(_) => true,
|
|
}
|
|
}
|
|
|
|
fn is_structural_partial_eq(cx: &LateContext<'tcx>, ty: Ty<'tcx>, other: Ty<'tcx>) -> bool {
|
|
if let Some(def_id) = cx.tcx.lang_items().eq_trait() {
|
|
implements_trait(cx, ty, def_id, &[other.into()])
|
|
} else {
|
|
false
|
|
}
|
|
}
|
|
|
|
impl<'tcx> LateLintPass<'tcx> for PatternEquality {
|
|
fn check_expr(&mut self, cx: &LateContext<'tcx>, expr: &'tcx Expr<'tcx>) {
|
|
if_chain! {
|
|
if let ExprKind::Let(pat, exp, _) = expr.kind;
|
|
if unary_pattern(pat);
|
|
let exp_ty = cx.typeck_results().expr_ty(exp);
|
|
let pat_ty = cx.typeck_results().pat_ty(pat);
|
|
if is_structural_partial_eq(cx, exp_ty, pat_ty);
|
|
then {
|
|
|
|
let mut applicability = Applicability::MachineApplicable;
|
|
let pat_str = match pat.kind {
|
|
PatKind::Struct(..) => format!(
|
|
"({})",
|
|
snippet_with_context(cx, pat.span, expr.span.ctxt(), "..", &mut applicability).0,
|
|
),
|
|
_ => snippet_with_context(cx, pat.span, expr.span.ctxt(), "..", &mut applicability).0.to_string(),
|
|
};
|
|
span_lint_and_sugg(
|
|
cx,
|
|
EQUATABLE_IF_LET,
|
|
expr.span,
|
|
"this pattern matching can be expressed using equality",
|
|
"try",
|
|
format!(
|
|
"{} == {}",
|
|
snippet_with_context(cx, exp.span, expr.span.ctxt(), "..", &mut applicability).0,
|
|
pat_str,
|
|
),
|
|
applicability,
|
|
);
|
|
}
|
|
}
|
|
}
|
|
}
|