omit_local_variable_types should have tests covering declaration patterns and destructuring

[srawlins]

Child issue of #58837

I think there should be a test case like:

switch (record) {
  case (int x, String s):
    print('First field is int $x and second is String $s.');
}

in which the lint rule does not report on the type annotations, since they change the behavior of the code.