False positive for RedundantCondition after update from 3.10.1 to 3.11.0

[kubawerlos]

After update from 3.10.1 to 3.11.0 one false positive started to being reported, For a code;

<?php
class Foo
{
    public function test() : void
    {
        $x = $this->get();
        $i = 0;
        while (isset($x[$i]) && is_array($x[$i])) {
            echo $i;
            $i++;
        }
    }
    
    /**
     * @return array
     */
    private function get() : array
    {
        return [['a'], 'b', 'c', ['d']];
    }
}

The function get returns array that has mixed elements - string or an array, so is_array is needed.

https://psalm.dev/r/48ff1bea43

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/48ff1bea43

<?php
class Foo
{
    public function test() : void
    {
        $x = $this->get();
        $i = 0;
        while (isset($x[$i]) && is_array($x[$i])) {
            echo $i;
            $i++;
        }
    }
    
    /**
     * @return array
     */
    private function get() : array
    {
        return [['a'], 'b', 'c', ['d']];
    }
}

Psalm output (using commit 5bc9b09):

ERROR: RedundantCondition - 8:33 - Found a redundant condition when evaluating $x[$i] and trying to reconcile type 'array<array-key, mixed>' to array

[kubawerlos]

Thank you @muglug