Add non regression test

Author: VincentLanglet

tests/PHPStan/Rules/Methods/ReturnTypeRuleTest.php

@@ -1239,6 +1239,11 @@ public function testBug4443(): void
 		]);
 	}
 
+	public function testBug13043(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-13043.php'], []);
+	}
+
 	public function testBug12928(): void
 	{
 		$this->analyse([__DIR__ . '/data/bug-12928.php'], [

tests/PHPStan/Rules/Methods/data/bug-13043.php

@@ -0,0 +1,24 @@
+<?php declare(strict_types = 1);
+
+namespace Bug13043;
+
+class HelloWorld
+{
+	private string $prefix = '';
+
+	/** @var non-empty-string $name */
+	private string $name = 'identifier';
+
+	/** @return non-empty-string */
+	public function getPrefixedName(): string
+	{
+		$name = $this->prefix;
+
+		$search = str_split('()<>@');
+		$replace = array_map(rawurlencode(...), $search);
+
+		$name .= str_replace($search, $replace, $this->name);
+
+		return $name;
+	}
+}