while loop condition is not enforced after the loop

[homersimpsons]

The following snippet analysis should not trigger any error:
https://phpstan.org/r/7ce1ea05-26eb-4ffc-aa6d-80a368bb0044

<?php declare(strict_types = 1);

function produceIntOrNull(): ?int {
  return rand(0, 2) === 0 ? null : 0;	
}

function expectInt(int $a): void {}

$int = null;
while (!is_int($int)) {
	$int = produceIntOrNull();
}

expectInt($int);

The while (!is_int($int)) { } ensures that $int is an int after the loop.

We can note that if constructs handle this well: https://phpstan.org/r/7fda8056-a088-44ba-9ee0-08623ce532be

There could be some tricky corner cases, notably with break

[ondrejmirtes]

Hi, this is a no-brainer, thank you for the suggestion :) Implemented: phpstan/phpstan-src@3166ba3

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.