No type check in analyzer when explicitly instantiated generic 'call' method is called with wrong type

[sgrekhov]

This is probably related with #47211. The following test works in CFE but fails in analyzer

T foo1<T>(T value) => value;

main() {
  var funcValue1 = foo1;
  var f1 = funcValue1.call<int>;
  f1(42);
  f1("Lily was here");   // No error in analyzer here
//   ^^^^^^^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified

  T foo2<T>(T value) => value;
  var funcValue2 = foo2;
  var f2 = funcValue2.call<int>;
  f2(42);
  f2("Lily was here");   // No error in analyzer here
//   ^^^^^^^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}

Tested on the edge version of the analyzer

[scheglov]

@srawlins