Rust Clippy shadow_unrelated规则对合法代码误报变量遮蔽错误

你的判断完全正确，这是Rust 1.62.0版本中Clippy的已知执行Bug。

问题复现 #

当项目配置#![deny(clippy::shadow_unrelated)]规则拦截不相关的变量遮蔽行为时，以下完全合法的Rust代码会触发非预期报错：

let overflow: bool;
(self.standing, overflow) = self.standing.overflowing_add(reason.to_severity());

触发的具体报错信息如下：

error: `overflow` shadows a previous, unrelated binding
  --> src/models/peer.rs:73:25
   |
73 |         (self.standing, overflow) = self.standing.overflowing_add(reason.to_severity());
   |                         ^^^^^^^^
   |
note: the lint level is defined here
  --> src/lib.rs:1:9
   |
1  | #![deny(clippy::shadow_unrelated)]
   |         ^^^^^^^^^^^^^^^^^^^^^^^^
note: previous binding is here
  --> src/models/peer.rs:73:10
   |
73 |         (self.standing, overflow) = self.standing.overflowing_add(reason.to_severity());
   |          ^^^^^^^^^^^^^
   = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#shadow_unrelated

问题根因 #

从报错指向的位置就能看出问题：Clippy错误把同一条赋值语句左侧的self.standing字段，识别成了overflow变量的前序绑定，错误判定二者存在无关变量遮蔽，和实际代码逻辑完全不符。
这个Bug的触发场景非常固定：当你先单独声明变量，再在同一条元组解构赋值语句中同时完成结构体字段赋值、已声明变量赋值时，就会触发这个误判。你写的「先声明变量、再通过元组解构赋值」的写法完全符合Rust语法规范，本身不存在变量遮蔽问题，本应被规则正常放行。

规避方案 #

你可以根据项目情况任选以下一种方案解决：

• 在触发误报的代码块上方添加#[allow(clippy::shadow_unrelated)]标注，跳过对应代码段的该规则检查
• 调整代码写法，把单条解构赋值拆成多步，避免同一条赋值语句里同时出现字段赋值和已声明变量的赋值：

let overflow: bool;
let add_result = self.standing.overflowing_add(reason.to_severity());
self.standing = add_result.0;
overflow = add_result.1;

• 升级Rust工具链至1.63及以上版本，该Bug已经在后续Clippy版本中被修复，升级后不会再出现这类误报。

内容的提问来源于stack exchange，提问作者Thorkil Værge