inference_failure_on_untyped_parameter

The type of '{0}' can't be inferred; a type must be explicitly provided.

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 declaração de um parâmetro formal não tem tipo, e
• o tipo do parâmetro não pode ser inferido.

O tipo do parâmetro de um método pode ser inferido se ele sobrescrever um método herdado.

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 o parâmetro formal p não tem tipo explícito, e o tipo não pode ser inferido:

void f(p) => print(p);

Adicione um tipo explícito:

void f(int p) => print(p);