unnecessary_final tests should include variable patterns

[srawlins]

Child issue of #58837 I suppose.

I think there should be a test case like:

switch ((1, 2)) {
  case (final a, final b): ...
}

in which the lint rule would report that var should be preferred.