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!