inference_failure_on_function_invocation

The type argument(s) of the function '{0}' can't be inferred.

The analyzer produces this diagnostic when:

• the language option strict-inference is enabled in the analysis options file,
• the invocation of a method or function has no type arguments, and
• the values for the type arguments can't be inferred.

Given an analysis options file containing the following:

analyzer:
  language:
    strict-inference: true

The following code produces this diagnostic because the invocation of m has no explicit type arguments, and the arguments can't be inferred:

abstract class C {
  void m<T>();
}
​
void f(C c) {
  c.m();
}

Provide explicit type arguments for the invocation:

abstract class C {
  void m<T>();
}
​
void f(C c) {
  c.m<int>();
}