Incorrect warning: invariant_booleans

[maxlapides]

I have an unusual algorithm I'm working on. I tried to create a smaller reproduction example for this ticket. This code is useless, but it does demonstrate the analyzer issue:

void test() {
  final a = [4, 5, 6, 7];
  var k = 0;
  for (var i = 0; i < 4; i++) {
    if (k >= a.length) break;
    while (k < a.length) {
      print(a[k]);
      k++;
    }
    k -= i + 1;
  }
}

Warning:

info: Conditions should not unconditionally evaluate to `true` or to `false`. verify: k < a.length.

The first time the while loop is executed, we can know through static analysis that k < a.length because this condition was just checked on the previous line. However, on the next iteration of the while loop, k < a.length may or may not be true.

[srawlins]

Duplicate of #57601