pattern_type_mismatch_in_irrefutable_context

The matched value of type '{0}' isn't assignable to the required type '{1}'.

O analisador emite este diagnóstico quando o tipo do valor do lado direito de uma atribuição de padrão ou de uma declaração de padrão não corresponde ao tipo exigido pelo padrão usado para fazer a correspondência.

O código a seguir produz este diagnóstico porque x pode não ser uma String e, portanto, pode não corresponder ao padrão de objeto:

void f(Object x) {
  var String(length: a) = x;
  print(a);
}

Altere o código para que o tipo da expressão do lado direito corresponda ao tipo exigido pelo padrão:

void f(String x) {
  var String(length: a) = x;
  print(a);
}