inconsistent_pattern_variable_logical_or

The variable '{0}' has a different type and/or finality in this branch of the logical-or pattern.

O analisador produz este diagnóstico quando uma variável de padrão declarada em todos os ramos de um padrão de OU lógico não tem o mesmo tipo em cada ramo. Ele também é produzido quando a variável tem finalidade (finality) diferente em ramos diferentes. Uma variável de padrão declarada em vários ramos de um padrão de OU lógico precisa ter o mesmo tipo e a mesma finalidade em cada ramo, para que o tipo e a finalidade da variável possam ser conhecidos no código protegido pelo padrão de OU lógico.

O código a seguir produz este diagnóstico porque a variável a é definida como int em um ramo e como double no outro:

void f(Object? x) {
  if (x case (int a) || (double a)) {
    print(a);
  }
}

O código a seguir produz este diagnóstico porque a variável a é final no primeiro ramo e não é final no segundo ramo:

void f(Object? x) {
  if (x case (final int a) || (int a)) {
    print(a);
  }
}

Se a finalidade da variável for diferente, decida se ela deve ser final ou não e torne os casos consistentes:

void f(Object? x) {
  if (x case (int a) || (int a)) {
    print(a);
  }
}

Se o tipo da variável for diferente e o tipo não for crítico para a condição que está sendo comparada, então garanta que a variável tenha o mesmo tipo nos dois ramos:

void f(Object? x) {
  if (x case (num a) || (num a)) {
    print(a);
  }
}

Se o tipo da variável for diferente e o tipo for crítico para a condição que está sendo comparada, então considere dividir a condição em várias instruções if ou cláusulas case:

void f(Object? x) {
  if (x case int a) {
    print(a);
  } else if (x case double a) {
    print(a);
  }
}