test mix of array value types

Author: staabm

tests/PHPStan/Analyser/nsrt/bug-12393b.php

@@ -507,7 +507,32 @@ public function doFoo(array $arr): void
             assertType("non-empty-array&hasOffsetValue('foo', 'bar')", $this->foo);
         }
     }
+}
+
+class FooTypedArray
+{
+    /**
+     * @var array<int>
+     */
+    public array $foo;
+
+    /**
+     * @param array<float> $arr
+     */
+    public function doFoo(array $arr): void
+    {
+        $this->foo = $arr;
+        assertType('array<float>', $this->foo);
+    }
 
+    /**
+     * @param array<string> $arr
+     */
+    public function doBar(array $arr): void
+    {
+        $this->foo = $arr;
+        assertType('array<string>', $this->foo);
+    }
 }
 
 class FooList