Auto merge of #7097 - yawara:fix/7069, r=llogiq

Fixed inconsistent_struct_constructor triggers in macro-generated code

fixes #7069

changelog: `inconsistent_struct_constructor`: Fix FP in macro expansion.
This commit is contained in:
bors
2021-04-20 08:26:21 +00:00
4 changed files with 30 additions and 2 deletions

View File

@@ -1,4 +1,5 @@
use clippy_utils::diagnostics::span_lint_and_sugg; use clippy_utils::diagnostics::span_lint_and_sugg;
use clippy_utils::in_macro;
use clippy_utils::source::snippet; use clippy_utils::source::snippet;
use if_chain::if_chain; use if_chain::if_chain;
use rustc_data_structures::fx::FxHashMap; use rustc_data_structures::fx::FxHashMap;
@@ -66,6 +67,7 @@ declare_lint_pass!(InconsistentStructConstructor => [INCONSISTENT_STRUCT_CONSTRU
impl LateLintPass<'_> for InconsistentStructConstructor { impl LateLintPass<'_> for InconsistentStructConstructor {
fn check_expr(&mut self, cx: &LateContext<'tcx>, expr: &'tcx hir::Expr<'_>) { fn check_expr(&mut self, cx: &LateContext<'tcx>, expr: &'tcx hir::Expr<'_>) {
if_chain! { if_chain! {
if !in_macro(expr.span);
if let ExprKind::Struct(qpath, fields, base) = expr.kind; if let ExprKind::Struct(qpath, fields, base) = expr.kind;
let ty = cx.typeck_results().expr_ty(expr); let ty = cx.typeck_results().expr_ty(expr);
if let Some(adt_def) = ty.ty_adt_def(); if let Some(adt_def) = ty.ty_adt_def();

View File

@@ -13,6 +13,15 @@ struct Foo {
z: i32, z: i32,
} }
macro_rules! new_foo {
() => {
let x = 1;
let y = 1;
let z = 1;
Foo { y, x, z }
};
}
mod without_base { mod without_base {
use super::Foo; use super::Foo;
@@ -24,6 +33,10 @@ mod without_base {
// Should lint. // Should lint.
Foo { x, y, z }; Foo { x, y, z };
// Should NOT lint.
// issue #7069.
new_foo!();
// Shoule NOT lint because the order is the same as in the definition. // Shoule NOT lint because the order is the same as in the definition.
Foo { x, y, z }; Foo { x, y, z };

View File

@@ -13,6 +13,15 @@ struct Foo {
z: i32, z: i32,
} }
macro_rules! new_foo {
() => {
let x = 1;
let y = 1;
let z = 1;
Foo { y, x, z }
};
}
mod without_base { mod without_base {
use super::Foo; use super::Foo;
@@ -24,6 +33,10 @@ mod without_base {
// Should lint. // Should lint.
Foo { y, x, z }; Foo { y, x, z };
// Should NOT lint.
// issue #7069.
new_foo!();
// Shoule NOT lint because the order is the same as in the definition. // Shoule NOT lint because the order is the same as in the definition.
Foo { x, y, z }; Foo { x, y, z };

View File

@@ -1,5 +1,5 @@
error: struct constructor field order is inconsistent with struct definition field order error: struct constructor field order is inconsistent with struct definition field order
--> $DIR/inconsistent_struct_constructor.rs:25:9 --> $DIR/inconsistent_struct_constructor.rs:34:9
| |
LL | Foo { y, x, z }; LL | Foo { y, x, z };
| ^^^^^^^^^^^^^^^ help: try: `Foo { x, y, z }` | ^^^^^^^^^^^^^^^ help: try: `Foo { x, y, z }`
@@ -7,7 +7,7 @@ LL | Foo { y, x, z };
= note: `-D clippy::inconsistent-struct-constructor` implied by `-D warnings` = note: `-D clippy::inconsistent-struct-constructor` implied by `-D warnings`
error: struct constructor field order is inconsistent with struct definition field order error: struct constructor field order is inconsistent with struct definition field order
--> $DIR/inconsistent_struct_constructor.rs:43:9 --> $DIR/inconsistent_struct_constructor.rs:56:9
| |
LL | / Foo { LL | / Foo {
LL | | z, LL | | z,