added more tests

Author: staabm

tests/PHPStan/Rules/Pure/PureFunctionRuleTest.php

@@ -214,4 +214,9 @@ public function testBug14504(): void
 		$this->analyse([__DIR__ . '/data/bug-14504.php'], []);
 	}
 
+	public function testBug14511(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-14511.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Pure/PureMethodRuleTest.php

@@ -383,4 +383,10 @@ public function testBug14504(): void
 		$this->analyse([__DIR__ . '/data/bug-14504-method.php'], []);
 	}
 
+	public function testBug14511(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-14511-method.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Pure/data/bug-14511-method.php

@@ -0,0 +1,47 @@
+<?php declare(strict_types = 1);
+
+namespace Bug14511Method;
+
+class Foo
+{
+
+	/**
+	 * @phpstan-pure
+	 * @template T of mixed
+	 * @param T $val
+	 */
+	public function testStringCast(mixed $val): ?string
+	{
+		if (is_int($val)) {
+			return (string) $val;
+		}
+		return null;
+	}
+
+	/**
+	 * @phpstan-pure
+	 * @template T of mixed
+	 * @param T $val
+	 */
+	public function testStringConcat(mixed $val): ?string
+	{
+		if (is_int($val)) {
+			return 'value: ' . $val;
+		}
+		return null;
+	}
+
+	/**
+	 * @phpstan-pure
+	 * @template T of mixed
+	 * @param T $val
+	 */
+	public function testEmptyNonArray(mixed $val): ?string
+	{
+		if (empty($val) && !\is_array($val)) {
+			return (string) $val;
+		}
+		return null;
+	}
+
+}

tests/PHPStan/Rules/Pure/data/bug-14511.php

@@ -0,0 +1,75 @@
+<?php declare(strict_types = 1);
+
+namespace Bug14511;
+
+/**
+ * @phpstan-pure
+ * @template T of mixed
+ * @param T $val
+ */
+function testStringCast(mixed $val): ?string {
+	if (is_int($val)) {
+		return (string) $val;
+	}
+	return null;
+}
+
+/**
+ * @phpstan-pure
+ * @template T of mixed
+ * @param T $val
+ */
+function testStringConcat(mixed $val): ?string {
+	if (is_int($val)) {
+		return 'value: ' . $val;
+	}
+	return null;
+}
+
+/**
+ * @phpstan-pure
+ * @template T of mixed
+ * @param T $val
+ */
+function testFloatCast(mixed $val): ?string {
+	if (is_float($val)) {
+		return (string) $val;
+	}
+	return null;
+}
+
+/**
+ * @phpstan-pure
+ * @template T of mixed
+ * @param T $val
+ */
+function testBoolCast(mixed $val): ?string {
+	if (is_bool($val)) {
+		return (string) $val;
+	}
+	return null;
+}
+
+/**
+ * @phpstan-pure
+ * @template T of mixed
+ * @param T $val
+ */
+function testStringVal(mixed $val): ?string {
+	if (is_string($val)) {
+		return (string) $val;
+	}
+	return null;
+}
+
+/**
+ * @phpstan-pure
+ * @template T of mixed
+ * @param T $val
+ */
+function testEmptyNonArray(mixed $val): ?string {
+	if (empty($val) && !\is_array($val)) {
+		return (string) $val;
+	}
+	return null;
+}