prefer_final_locals incompatible with record destructuring in for loops

[TzviPM]

Describe the issue

prefer_final_locals fails when destructuring a record in a for loop. See below for a simple example

To Reproduce

Dart code in records.dart:

final people = [
  ("John", 20),
  ("Jane", 21),
  ("Jack", 22),
];

void main(List<String> args) {
  for (final (name, age) in people) {
    print("$name is $age years old");
  }
}

run with dart --enable-experiment=records records.dart

Output:

John is 20 years old
Jane is 21 years old
Jack is 22 years old

$ dart --version
Dart SDK version: 3.1.0-15.0.dev (dev) (Tue Apr 18 07:11:59 2023 -0700) on "macos_arm64"

In analysis_options.yaml:

linter:
  rules:
    - prefer_final_locals

then analysis fails:

$ dart analyze
Analyzing dart_rec...                  0.7s

   info • records.dart:8:15 • Local variables should be final. Try
          making the variable final. • prefer_final_locals
   info • records.dart:8:21 • Local variables should be final. Try
          making the variable final. • prefer_final_locals

2 issues found.

Expected behavior

prefer_final_locals should recognize that the destructured locals are final.

Additional context

None

[TzviPM]

See also: #59117

[TzviPM]

Looks like this was fixed already via dart-archive/linter#4287