Add regression test

Author: staabm

tests/PHPStan/Rules/Properties/TypesAssignedToPropertiesRuleTest.php

@@ -807,4 +807,9 @@ public function testBug7844b(): void
 		$this->analyse([__DIR__ . '/data/bug-7844b.php'], []);
 	}
 
+	public function testBug12675(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-12675.php'], []);
+	}
+
 }

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

@@ -0,0 +1,37 @@
+<?php
+
+namespace Bug12675;
+
+class HelloWorld
+{
+	private string $username = "";
+	private string $domain = "";
+
+	public function with_shift(string $email): void
+	{
+		$pieces = explode("@", $email);
+		if (2 !== count($pieces)) {
+
+			throw new \Exception("Bad, very bad...");
+		}
+
+		$this->username = array_shift($pieces);
+		$this->domain = array_shift($pieces);
+
+		echo "{$this->username}@{$this->domain}";
+	}
+
+	public function with_pop(string $email): void
+	{
+		$pieces = explode("@", $email);
+		if (2 !== count($pieces)) {
+
+			throw new \Exception("Bad, very bad...");
+		}
+
+		$this->domain = array_pop($pieces);
+		$this->username = array_pop($pieces);
+
+		echo "{$this->username}@{$this->domain}";
+	}
+}