inference_failure_on_function_invocation

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

O analisador produz este diagnóstico quando:

• a opção de linguagem strict-inference está habilitada no arquivo de opções de análise,
• a invocação de um método ou função não tem argumentos de tipo, e
• os valores dos argumentos de tipo não podem ser inferidos.

Dado um arquivo de opções de análise contendo o seguinte:

analyzer:
  language:
    strict-inference: true

O código a seguir produz este diagnóstico porque a invocação de m não tem argumentos de tipo explícitos, e os argumentos não podem ser inferidos:

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

Forneça argumentos de tipo explícitos para a invocação:

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