added regression test

Author: staabm

src/Analyser/NodeScopeResolver.php

@@ -2669,6 +2669,7 @@ static function (): void {
 					$isArrayPop ? $arrayArgType->popArray() : $arrayArgType->shiftArray(),
 					$isArrayPop ? $arrayArgNativeType->popArray() : $arrayArgNativeType->shiftArray(),
 				);
+
 				if ($arrayArg instanceof PropertyFetch || $arrayArg instanceof StaticPropertyFetch) {
 					$nodeCallback(new PropertyAssignNode($arrayArg, new TypeExpr($scope->getType($arrayArg)), false), $scope);
 				}

tests/PHPStan/Rules/Properties/TypesAssignedToPropertiesRuleTest.php

@@ -882,4 +882,23 @@ public function testBug13438e(): void
 		]);
 	}
 
+	public function testBug2888(): void
+	{
+		$this->checkExplicitMixed = true;
+		$this->analyse([__DIR__ . '/data/bug-2888.php'], [
+			[
+				'Property Bug2888\MyClass::$prop (array<int>) does not accept array<int|string>.',
+				17,
+			],
+			[
+				'Property Bug2888\MyClass::$prop (array<int>) does not accept array<int|string>.',
+				18,
+			],
+			[
+				'Property Bug2888\MyClass::$prop (array<int>) does not accept array<int|string>.',
+				26,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Properties/data/bug-2888.php

@@ -0,0 +1,28 @@
+<?php
+
+namespace Bug2888;
+
+class MyClass
+{
+	/**
+	 * @var int[]
+	 */
+	private $prop = [];
+
+	/**
+	 * @return void
+	 */
+	public function foo()
+	{
+		array_push($this->prop, 'string');
+		array_unshift($this->prop, 'string');
+	}
+
+	/**
+	 * @return void
+	 */
+	public function bar()
+	{
+		$this->prop[] = 'string';
+	}
+}