Appending to array with int-range key produces warning

[MoonE]

Bug report

<?php 
class A
{
    /** @var array<int<0, max>, string> */
    public array $l = [];

    public function add(string $s): void {
        $this->l[] = $s;
    }
}

8 | Property A::$l (array<int<0, max>, string>) does not accept non-empty-array<int, string>.

Code snippet that reproduces the problem

https://phpstan.org/r/bb35caea-1af5-43f2-bec1-6f7d578218f3

Expected output

No warning!

[ondrejmirtes]

Fixed: phpstan/phpstan-src@6c32371

[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.