regression test

Author: staabm

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

@@ -0,0 +1,23 @@
+<?php
+
+namespace Bug7844;
+
+class C
+{
+	/** @var float */
+	public $val = .0;
+
+	/** @var array<float> */
+	public $data = array();
+
+	public function foo(): void
+	{
+		\PHPStan\dumpType($this->data);
+		if (count($this->data) > 0) {
+			\PHPStan\dumpType($this->data);
+			$this->val = array_shift($this->data);
+			\PHPStan\dumpType($this->val);
+		}
+	}
+}
+

tests/PHPStan/Rules/Variables/ParameterOutAssignedTypeRuleTest.php

@@ -74,4 +74,9 @@ public function testBug13093b(): void
 		$this->analyse([__DIR__ . '/data/bug-13093b.php'], []);
 	}
 
+	public function testBug7844(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-7844.php'], []);
+	}
+
 }