constant_pattern_never_matches_value_type

The matched value type '{0}' can never be equal to this constant of type '{1}'.

O analisador emite este diagnóstico quando um padrão constante nunca pode corresponder ao valor que está sendo testado, porque o tipo da constante sabidamente nunca corresponde ao tipo do valor.

O código a seguir produz este diagnóstico porque o tipo do padrão constante (true) é bool, o tipo do valor que está sendo comparado (x) é int, e um booleano nunca pode corresponder a um inteiro:

void f(int x) {
  if (x case true) {}
}

Se o tipo do valor estiver correto, reescreva o padrão para que seja compatível:

void f(int x) {
  if (x case 3) {}
}

Se o tipo da constante estiver correto, reescreva o valor para que seja compatível:

void f(bool x) {
  if (x case true) {}
}