bors 1e8fdf4928 Auto merge of #11320 - max-niederman:redundant_locals_shadow_mutated, r=Alexendoo
redundant_locals: fix FPs on mutated shadows

Fixes #11290.

When a mutable binding is shadowed by
a mutable binding of the same name in a different scope, mutations in that scope have different meaning.
This PR fixes spurious `redundant_locals` emissions on such locals.

cc `@Centri3,` `@flip1995`

changelog: [`redundant_locals`]: fix false positives on mutated shadows
2023-08-11 10:58:13 +00:00
..
2023-06-20 21:19:58 -05:00
2023-06-10 06:51:03 -05:00
2023-07-08 13:02:54 -05:00
2023-07-08 13:02:54 -05:00
2023-06-10 06:51:03 -05:00
2023-06-10 06:51:03 -05:00
2023-06-10 06:51:03 -05:00
2022-10-01 10:03:06 +00:00
2022-04-21 10:03:01 +02:00
2023-06-26 14:13:07 +00:00
2023-07-01 07:08:01 -04:00
2023-06-26 14:13:07 +00:00
2023-03-08 14:40:38 +00:00
2023-07-30 01:19:29 -04:00
2019-11-07 17:11:06 +01:00
2023-06-12 16:21:06 +01:00
2023-07-01 07:08:01 -04:00
2023-06-12 16:21:06 +01:00
2023-06-26 14:13:07 +00:00
2023-08-10 16:33:07 -05:00
2023-08-10 16:33:07 -05:00
2023-08-10 16:33:07 -05:00
2023-06-26 14:13:07 +00:00
2023-06-26 14:13:07 +00:00
2021-12-26 21:37:57 +08:00
2023-05-21 15:07:53 +02:00
2022-10-01 10:03:06 +00:00
2023-06-26 14:13:07 +00:00
2022-10-26 12:24:37 +08:00
2023-06-26 14:13:07 +00:00
2023-06-12 16:21:06 +01:00
2022-03-30 20:12:58 +02:00
2023-07-01 07:08:01 -04:00
2023-07-01 07:08:01 -04:00
2023-06-26 14:13:07 +00:00
2023-06-26 14:13:07 +00:00
2022-03-30 20:12:58 +02:00
2023-07-01 07:08:01 -04:00
2023-06-26 14:13:07 +00:00
2022-10-01 10:03:06 +00:00
2020-10-25 17:41:30 +08:00
2023-07-01 07:08:01 -04:00
2023-07-01 07:08:01 -04:00
2023-06-26 14:13:07 +00:00
2022-10-01 10:03:06 +00:00
2021-11-19 16:17:17 +09:00
2023-06-12 16:21:06 +01:00
2020-12-07 23:38:56 +01:00
2023-06-26 14:13:07 +00:00
2023-06-26 14:13:07 +00:00
2022-04-13 13:48:27 +02:00
2023-06-06 22:56:57 +02:00
2023-06-26 14:13:07 +00:00
2022-10-01 10:03:06 +00:00
2023-06-14 08:41:20 -05:00
2022-12-24 23:39:54 +01:00
2022-10-01 10:03:06 +00:00
2023-06-26 14:13:07 +00:00
2023-04-30 14:34:46 +01:00
2022-10-30 06:47:35 -04:00
2023-06-26 14:13:07 +00:00
2023-04-23 10:52:27 -04:00
2023-07-01 07:08:01 -04:00
fix
2022-04-23 22:45:26 +09:00
2022-01-11 09:53:29 +01:00