No quick fix for unused_local_variable when local variable defined in a pattern

[stereotype441]

The following Dart 3.0 code has an unused_local_variable diagnostic for the unused variable k:

f(MapEntry e) {
  switch (e) {
    case MapEntry(key: [var a, var b] && var k, :var value):
      print('[$a, $b]: $value');
  }
}

It would be nice to have a quick fix that removes the redundant && var k, leaving:

f(MapEntry e) {
  switch (e) {
    case MapEntry(key: [var a, var b], :var value):
      print('[$a, $b]: $value');
  }
}

Similarly, in this code:

f(MapEntry e) {
  var MapEntry(:key, :value) = e;
  print('Key is $key');
}

It would be nice to have a quick fix that removes the redundant , :value, leaving:

f(MapEntry e) {
  var MapEntry(:key) = e;
  print('Key is $key');
}

And in this code:

f((String, int) r) {
  var (s, i) = r;
  print('$i');
}

It would be nice to have a quick fix that replaces the unused local variable s with a wildcard pattern, leaving:

f((String, int) r) {
  var (_, i) = r;
  print('$i');
}

[scheglov]

Actually, with https://dart-review.googlesource.com/c/sdk/+/296761 we do support removing unused variable patterns from object and record patterns.


Removing from the logical-and pattern is not implemented yet.
I did not think about it, but now I see when it might be useful.

[scheglov]

https://dart-review.googlesource.com/c/sdk/+/297841?forceReload=true