unnecessary_null_checks should have tests with object patterns

[srawlins]

Child issue of #58837

I think there should be a test case like:

void f(int? a, int? b) {
  (b!, ) = (a, );
}

in which the lint rule would report that null-asserting at b! is unnecessary because the variable type is int?.