diff options
| author | Fabian Wolff <fabian.wolff@alumni.ethz.ch> | 2021-10-02 22:18:11 +0200 |
|---|---|---|
| committer | Fabian Wolff <fabian.wolff@alumni.ethz.ch> | 2021-10-03 14:33:14 +0200 |
| commit | 9626f2bd84ccf99635dfdbca3da782db3596190a (patch) | |
| tree | 9a81eb5b3e7aabb74af2834e9e4c0a43b3fd2266 | |
| parent | edebf77e0090195bf80c0d8cda821e1bf9d03053 (diff) | |
| download | rust-9626f2bd84ccf99635dfdbca3da782db3596190a.tar.gz rust-9626f2bd84ccf99635dfdbca3da782db3596190a.zip | |
Fix extra `non_snake_case` warning for shorthand field bindings
| -rw-r--r-- | compiler/rustc_lint/src/nonstandard_style.rs | 13 | ||||
| -rw-r--r-- | src/test/ui/lint/issue-89469.rs | 20 |
2 files changed, 27 insertions, 6 deletions
diff --git a/compiler/rustc_lint/src/nonstandard_style.rs b/compiler/rustc_lint/src/nonstandard_style.rs index 03344973bb3..bcddc4f3d76 100644 --- a/compiler/rustc_lint/src/nonstandard_style.rs +++ b/compiler/rustc_lint/src/nonstandard_style.rs @@ -437,12 +437,13 @@ impl<'tcx> LateLintPass<'tcx> for NonSnakeCase { if let hir::Node::Pat(parent_pat) = cx.tcx.hir().get(cx.tcx.hir().get_parent_node(hid)) { if let PatKind::Struct(_, field_pats, _) = &parent_pat.kind { - for field in field_pats.iter() { - if field.ident != ident { - // Only check if a new name has been introduced, to avoid warning - // on both the struct definition and this pattern. - self.check_snake_case(cx, "variable", &ident); - } + if field_pats + .iter() + .any(|field| !field.is_shorthand && field.pat.hir_id == p.hir_id) + { + // Only check if a new name has been introduced, to avoid warning + // on both the struct definition and this pattern. + self.check_snake_case(cx, "variable", &ident); } return; } diff --git a/src/test/ui/lint/issue-89469.rs b/src/test/ui/lint/issue-89469.rs new file mode 100644 index 00000000000..3a6ab452840 --- /dev/null +++ b/src/test/ui/lint/issue-89469.rs @@ -0,0 +1,20 @@ +// Regression test for #89469, where an extra non_snake_case warning was +// reported for a shorthand field binding. + +// check-pass +#![deny(non_snake_case)] + +#[allow(non_snake_case)] +struct Entry { + A: u16, + a: u16 +} + +fn foo() -> Entry {todo!()} + +pub fn f() { + let Entry { A, a } = foo(); + let _ = (A, a); +} + +fn main() {} |
