non_bool_condition

Conditions must have a static type of 'bool'.

O analisador emite este diagnóstico quando uma condição, como a de um if ou de um laço while, não tem o tipo estático bool.

O código a seguir gera este diagnóstico porque x tem o tipo estático int:

void f(int x) {
  if (x) {
    // ...
  }
}

Altere a condição para que ela produza um valor booleano:

void f(int x) {
  if (x == 0) {
    // ...
  }
}