Create bug-5058.php

Author: staabm

tests/PHPStan/Analyser/nsrt/bug-5058.php

@@ -0,0 +1,32 @@
+<?php
+
+namespace Bug5058;
+
+use function PHPStan\Testing\assertType;
+
+class test{
+
+	private string $properString;
+
+	public function doSomething(mixed $string): void
+	{
+
+		$errors = [];
+		if(is_string($string) === false){
+			$errors['string'] = 'fail';
+		}
+
+		if(empty($errors) === false){
+			throw new Exception('Epic fail');
+		}
+
+		assertType('string', $string);
+		$this->properString = $string;
+	}
+
+	public function getProperString(): string
+	{
+		return $this->properString;
+	}
+
+}