Skip to content

Commit 7a7feeb

Browse files
chenyukangchenyukang
committed
Remove uncessary parens in closure body with unused lint
1 parent cf38b8e commit 7a7feeb

File tree

16 files changed

+161
-28
lines changed

16 files changed

+161
-28
lines changed

‎compiler/rustc_errors/src/emitter.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3533,7 +3533,7 @@ pub fn is_case_difference(sm: &SourceMap, suggested: &str, sp: Span) -> bool {
35333533
// All the chars that differ in capitalization are confusable (above):
35343534
let confusable = iter::zip(found.chars(), suggested.chars())
35353535
.filter(|(f, s)| f != s)
3536-
.all(|(f, s)| (ascii_confusables.contains(&f) || ascii_confusables.contains(&s)));
3536+
.all(|(f, s)| ascii_confusables.contains(&f) || ascii_confusables.contains(&s));
35373537
confusable && found.to_lowercase() == suggested.to_lowercase()
35383538
// FIXME: We sometimes suggest the same thing we already have, which is a
35393539
// bug, but be defensive against that here.

‎compiler/rustc_lint/src/unused.rs

Lines changed: 9 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
use std::iter;
22

33
use rustc_ast::util::{classify, parser};
4-
use rustc_ast::{self as ast, ExprKind, HasAttrs as _, StmtKind};
4+
use rustc_ast::{self as ast, ExprKind, FnRetTy, HasAttrs as _, StmtKind};
55
use rustc_attr_data_structures::{AttributeKind, find_attr};
66
use rustc_errors::{MultiSpan, pluralize};
77
use rustc_hir::def::{DefKind, Res};
@@ -595,6 +595,7 @@ enum UnusedDelimsCtx {
595595
AnonConst,
596596
MatchArmExpr,
597597
IndexExpr,
598+
ClosureBody,
598599
}
599600

600601
impl From<UnusedDelimsCtx> for &'static str {
@@ -616,6 +617,7 @@ impl From<UnusedDelimsCtx> for &'static str {
616617
UnusedDelimsCtx::ArrayLenExpr | UnusedDelimsCtx::AnonConst => "const expression",
617618
UnusedDelimsCtx::MatchArmExpr => "match arm expression",
618619
UnusedDelimsCtx::IndexExpr => "index expression",
620+
UnusedDelimsCtx::ClosureBody => "closure body",
619621
}
620622
}
621623
}
@@ -915,6 +917,11 @@ trait UnusedDelimLint {
915917
let (args_to_check, ctx) = match *call_or_other {
916918
Call(_, ref args) => (&args[..], UnusedDelimsCtx::FunctionArg),
917919
MethodCall(ref call) => (&call.args[..], UnusedDelimsCtx::MethodArg),
920+
Closure(ref closure)
921+
if matches!(closure.fn_decl.output, FnRetTy::Default(_)) =>
922+
{
923+
(&[closure.body.clone()][..], UnusedDelimsCtx::ClosureBody)
924+
}
918925
// actual catch-all arm
919926
_ => {
920927
return;
@@ -1398,6 +1405,7 @@ impl UnusedDelimLint for UnusedBraces {
13981405
&& (ctx != UnusedDelimsCtx::AnonConst
13991406
|| (matches!(expr.kind, ast::ExprKind::Lit(_))
14001407
&& !expr.span.from_expansion()))
1408+
&& ctx != UnusedDelimsCtx::ClosureBody
14011409
&& !cx.sess().source_map().is_multiline(value.span)
14021410
&& value.attrs.is_empty()
14031411
&& !value.span.from_expansion()

‎compiler/rustc_parse/src/parser/item.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2206,7 +2206,7 @@ impl<'a> Parser<'a> {
22062206

22072207
if self.look_ahead(1, |t| *t == token::Bang) && self.look_ahead(2, |t| t.is_ident()) {
22082208
return IsMacroRulesItem::Yes { has_bang: true };
2209-
} else if self.look_ahead(1, |t| (t.is_ident())) {
2209+
} else if self.look_ahead(1, |t| t.is_ident()) {
22102210
// macro_rules foo
22112211
self.dcx().emit_err(errors::MacroRulesMissingBang {
22122212
span: macro_rules_span,

‎compiler/rustc_resolve/src/late/diagnostics.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -328,8 +328,7 @@ impl<'ast, 'ra, 'tcx> LateResolutionVisitor<'_, 'ast, 'ra, 'tcx> {
328328
let module_did = mod_prefix.as_ref().and_then(Res::mod_def_id);
329329

330330
let mod_prefix =
331-
mod_prefix.map_or_else(String::new, |res| (format!("{} ", res.descr())));
332-
331+
mod_prefix.map_or_else(String::new, |res| format!("{} ", res.descr()));
333332
(mod_prefix, format!("`{}`", Segment::names_to_string(mod_path)), module_did, None)
334333
};
335334

‎library/core/src/unicode/unicode_data.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -82,7 +82,7 @@ unsafe fn skip_search<const SOR: usize, const OFFSETS: usize>(
8282
let needle = needle as u32;
8383

8484
let last_idx =
85-
match short_offset_runs.binary_search_by_key(&(needle << 11), |header| (header.0 << 11)) {
85+
match short_offset_runs.binary_search_by_key(&(needle << 11), |header| header.0 << 11) {
8686
Ok(idx) => idx + 1,
8787
Err(idx) => idx,
8888
};

‎src/tools/clippy/clippy_lints/src/unused_async.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -169,7 +169,7 @@ impl<'tcx> LateLintPass<'tcx> for UnusedAsync {
169169
let iter = self
170170
.unused_async_fns
171171
.iter()
172-
.filter(|UnusedAsyncFn { def_id, .. }| (!self.async_fns_as_value.contains(def_id)));
172+
.filter(|UnusedAsyncFn { def_id, .. }| !self.async_fns_as_value.contains(def_id));
173173

174174
for fun in iter {
175175
span_lint_hir_and_then(

‎src/tools/clippy/clippy_utils/src/ty/mod.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -889,7 +889,7 @@ impl AdtVariantInfo {
889889
.enumerate()
890890
.map(|(i, f)| (i, approx_ty_size(cx, f.ty(cx.tcx, subst))))
891891
.collect::<Vec<_>>();
892-
fields_size.sort_by(|(_, a_size), (_, b_size)| (a_size.cmp(b_size)));
892+
fields_size.sort_by(|(_, a_size), (_, b_size)| a_size.cmp(b_size));
893893

894894
Self {
895895
ind: i,
@@ -898,7 +898,7 @@ impl AdtVariantInfo {
898898
}
899899
})
900900
.collect::<Vec<_>>();
901-
variants_size.sort_by(|a, b| (b.size.cmp(&a.size)));
901+
variants_size.sort_by(|a, b| b.size.cmp(&a.size));
902902
variants_size
903903
}
904904
}

‎src/tools/compiletest/src/runtest.rs

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1768,6 +1768,12 @@ impl<'test> TestCx<'test> {
17681768
// Allow tests to use internal features.
17691769
rustc.args(&["-A", "internal_features"]);
17701770

1771+
// Allow tests to have unused parens and braces.
1772+
// Add #![deny(unused_parens, unused_braces)] to the test file if you want to
1773+
// test that these lints are working.
1774+
rustc.args(&["-A", "unused_parens"]);
1775+
rustc.args(&["-A", "unused_braces"]);
1776+
17711777
if self.props.force_host {
17721778
self.maybe_add_external_args(&mut rustc, &self.config.host_rustcflags);
17731779
if !is_rustdoc {

‎src/tools/rust-analyzer/crates/ide-completion/src/completions/fn_param.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -195,5 +195,5 @@ fn comma_wrapper(ctx: &CompletionContext<'_>) -> Option<(impl Fn(&str) -> String
195195
matches!(prev_token_kind, SyntaxKind::COMMA | SyntaxKind::L_PAREN | SyntaxKind::PIPE);
196196
let leading = if has_leading_comma { "" } else { ", " };
197197

198-
Some((move |label: &_| (format!("{leading}{label}{trailing}")), param.text_range()))
198+
Some((move |label: &_| format!("{leading}{label}{trailing}"), param.text_range()))
199199
}

‎src/tools/test-float-parse/src/lib.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -341,7 +341,7 @@ fn launch_tests(tests: &mut [TestInfo], cfg: &Config) -> Duration {
341341
for test in tests.iter_mut() {
342342
test.progress = Some(ui::Progress::new(test, &mut all_progress_bars));
343343
ui::set_panic_hook(&all_progress_bars);
344-
((test.launch)(test, cfg));
344+
(test.launch)(test, cfg);
345345
}
346346

347347
start.elapsed()

‎src/tools/unicode-table-generator/src/range_search.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -80,7 +80,7 @@ unsafe fn skip_search<const SOR: usize, const OFFSETS: usize>(
8080
let needle = needle as u32;
8181

8282
let last_idx =
83-
match short_offset_runs.binary_search_by_key(&(needle << 11), |header| (header.0 << 11)) {
83+
match short_offset_runs.binary_search_by_key(&(needle << 11), |header| header.0 << 11) {
8484
Ok(idx) => idx + 1,
8585
Err(idx) => idx,
8686
};

‎tests/ui/async-await/issues/issue-54752-async-block.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,4 +4,3 @@
44
//@ pp-exact
55

66
fn main() { let _a = (async { }); }
7-
//~^ WARNING unnecessary parentheses around assigned value

‎tests/ui/async-await/issues/issue-54752-async-block.stderr

Lines changed: 0 additions & 15 deletions
This file was deleted.

‎tests/ui/lint/unused/closure-body-issue-136741.fixed

Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
//@ run-rustfix
2+
// ignore-tidy-linelength
3+
#![deny(unused_parens)]
4+
#![deny(unused_braces)]
5+
6+
fn long_expr_that_does_not_require_braces_long_expr_that_does_not_require_braces_long_expr_that_does_not_require_braces()
7+
{}
8+
9+
fn func(f: impl FnOnce()) {
10+
f()
11+
}
12+
13+
pub fn main() {
14+
let _closure = |x: i32, y: i32| { x * (x + (y * 2)) };
15+
let _ = || 0 == 0; //~ ERROR unnecessary parentheses around closure body
16+
let _ = (0..).find(|n| n % 2 == 0); //~ ERROR unnecessary parentheses around closure body
17+
let _ = (0..).find(|n| {n % 2 == 0});
18+
19+
// multiple lines of code will not lint with braces
20+
let _ = (0..).find(|n| {
21+
n % 2 == 0
22+
});
23+
24+
// multiple lines of code will lint with parentheses
25+
let _ = (0..).find(|n| n % 2 == 0);
26+
27+
let _ = || {
28+
_ = 0;
29+
0 == 0 //~ ERROR unnecessary parentheses around block return value
30+
};
31+
32+
// long expressions will not lint with braces
33+
func(|| {
34+
long_expr_that_does_not_require_braces_long_expr_that_does_not_require_braces_long_expr_that_does_not_require_braces()
35+
})
36+
}

‎tests/ui/lint/unused/closure-body-issue-136741.rs

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
//@ run-rustfix
2+
// ignore-tidy-linelength
3+
#![deny(unused_parens)]
4+
#![deny(unused_braces)]
5+
6+
fn long_expr_that_does_not_require_braces_long_expr_that_does_not_require_braces_long_expr_that_does_not_require_braces()
7+
{}
8+
9+
fn func(f: impl FnOnce()) {
10+
f()
11+
}
12+
13+
pub fn main() {
14+
let _closure = |x: i32, y: i32| { x * (x + (y * 2)) };
15+
let _ = || (0 == 0); //~ ERROR unnecessary parentheses around closure body
16+
let _ = (0..).find(|n| (n % 2 == 0)); //~ ERROR unnecessary parentheses around closure body
17+
let _ = (0..).find(|n| {n % 2 == 0});
18+
19+
// multiple lines of code will not lint with braces
20+
let _ = (0..).find(|n| {
21+
n % 2 == 0
22+
});
23+
24+
// multiple lines of code will lint with parentheses
25+
let _ = (0..).find(|n| ( //~ ERROR unnecessary parentheses around closure body
26+
n % 2 == 0
27+
));
28+
29+
let _ = || {
30+
_ = 0;
31+
(0 == 0) //~ ERROR unnecessary parentheses around block return value
32+
};
33+
34+
// long expressions will not lint with braces
35+
func(|| {
36+
long_expr_that_does_not_require_braces_long_expr_that_does_not_require_braces_long_expr_that_does_not_require_braces()
37+
})
38+
}

‎tests/ui/lint/unused/closure-body-issue-136741.stderr

Lines changed: 62 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,62 @@
1+
error: unnecessary parentheses around closure body
2+
--> $DIR/closure-body-issue-136741.rs:15:16
3+
|
4+
LL | let _ = || (0 == 0);
5+
| ^ ^
6+
|
7+
note: the lint level is defined here
8+
--> $DIR/closure-body-issue-136741.rs:3:9
9+
|
10+
LL | #![deny(unused_parens)]
11+
| ^^^^^^^^^^^^^
12+
help: remove these parentheses
13+
|
14+
LL - let _ = || (0 == 0);
15+
LL + let _ = || 0 == 0;
16+
|
17+
18+
error: unnecessary parentheses around closure body
19+
--> $DIR/closure-body-issue-136741.rs:16:28
20+
|
21+
LL | let _ = (0..).find(|n| (n % 2 == 0));
22+
| ^ ^
23+
|
24+
help: remove these parentheses
25+
|
26+
LL - let _ = (0..).find(|n| (n % 2 == 0));
27+
LL + let _ = (0..).find(|n| n % 2 == 0);
28+
|
29+
30+
error: unnecessary parentheses around closure body
31+
--> $DIR/closure-body-issue-136741.rs:25:28
32+
|
33+
LL | let _ = (0..).find(|n| (
34+
| _____________________________^
35+
LL | | n % 2 == 0
36+
| | ________^__________^
37+
| ||________|
38+
| |
39+
LL | | ));
40+
| |_____^
41+
|
42+
help: remove these parentheses
43+
|
44+
LL - let _ = (0..).find(|n| (
45+
LL - n % 2 == 0
46+
LL + let _ = (0..).find(|n| n % 2 == 0);
47+
|
48+
49+
error: unnecessary parentheses around block return value
50+
--> $DIR/closure-body-issue-136741.rs:31:9
51+
|
52+
LL | (0 == 0)
53+
| ^ ^
54+
|
55+
help: remove these parentheses
56+
|
57+
LL - (0 == 0)
58+
LL + 0 == 0
59+
|
60+
61+
error: aborting due to 4 previous errors
62+

0 commit comments

Comments
 (0)