diff --git a/.github/workflows/e2e-tests.yml b/.github/workflows/e2e-tests.yml
index 25d0dc729a..821be9f377 100644
--- a/.github/workflows/e2e-tests.yml
+++ b/.github/workflows/e2e-tests.yml
@@ -124,6 +124,10 @@ jobs:
               mv src/Foo.php.orig src/Foo.php
               echo -n > phpstan-baseline.neon
               ../../bin/phpstan -vvv
+          - script: |
+              cd e2e/bug-14514
+              composer install
+              ../../bin/phpstan analyze bug-14515.php
           - script: |
               cd e2e/bug10449
               ../../bin/phpstan analyze
diff --git a/e2e/bug-14514/.gitignore b/e2e/bug-14514/.gitignore
new file mode 100644
index 0000000000..61ead86667
--- /dev/null
+++ b/e2e/bug-14514/.gitignore
@@ -0,0 +1 @@
+/vendor
diff --git a/e2e/bug-14514/autoloader.php b/e2e/bug-14514/autoloader.php
new file mode 100644
index 0000000000..908d41797e
--- /dev/null
+++ b/e2e/bug-14514/autoloader.php
@@ -0,0 +1,7 @@
+<?php
+
+spl_autoload_register(function ($class) {
+	if ($class === 'index') {
+		throw new LogicException("Autoloader should not be called for 'index'");
+	}
+});
diff --git a/e2e/bug-14514/bug-14515.php b/e2e/bug-14514/bug-14515.php
new file mode 100644
index 0000000000..a3102782e7
--- /dev/null
+++ b/e2e/bug-14514/bug-14515.php
@@ -0,0 +1,3 @@
+<?php
+
+throw new Exception("ERROR: " . 'index');
diff --git a/e2e/bug-14514/composer.json b/e2e/bug-14514/composer.json
new file mode 100644
index 0000000000..c4aa87ed49
--- /dev/null
+++ b/e2e/bug-14514/composer.json
@@ -0,0 +1,5 @@
+{
+	"autoload": {
+		"files": [ "autoloader.php" ]
+	}
+}
diff --git a/e2e/bug-14514/composer.lock b/e2e/bug-14514/composer.lock
new file mode 100644
index 0000000000..ba8d41762c
--- /dev/null
+++ b/e2e/bug-14514/composer.lock
@@ -0,0 +1,18 @@
+{
+    "_readme": [
+        "This file locks the dependencies of your project to a known state",
+        "Read more about it at https://getcomposer.org/doc/01-basic-usage.md#installing-dependencies",
+        "This file is @generated automatically"
+    ],
+    "content-hash": "d751713988987e9331980363e24189ce",
+    "packages": [],
+    "packages-dev": [],
+    "aliases": [],
+    "minimum-stability": "stable",
+    "stability-flags": {},
+    "prefer-stable": false,
+    "prefer-lowest": false,
+    "platform": {},
+    "platform-dev": {},
+    "plugin-api-version": "2.9.0"
+}
diff --git a/src/Analyser/ExprHandler/Helper/ImplicitToStringCallHelper.php b/src/Analyser/ExprHandler/Helper/ImplicitToStringCallHelper.php
index 1b66bc7ba3..fc2d624626 100644
--- a/src/Analyser/ExprHandler/Helper/ImplicitToStringCallHelper.php
+++ b/src/Analyser/ExprHandler/Helper/ImplicitToStringCallHelper.php
@@ -28,7 +28,11 @@ public function processImplicitToStringCall(Expr $expr, MutatingScope $scope): E
 		$impurePoints = [];
 
 		$exprType = $scope->getType($expr);
-		$toStringMethod = $scope->getMethodReflection($exprType, '__toString');
+
+		$toStringMethod = null;
+		if (!$exprType->isObject()->no()) {
+			$toStringMethod = $scope->getMethodReflection($exprType, '__toString');
+		}
 		if ($toStringMethod === null) {
 			return new ExpressionResult(
 				$scope,
diff --git a/tests/PHPStan/Rules/Pure/PureFunctionRuleTest.php b/tests/PHPStan/Rules/Pure/PureFunctionRuleTest.php
index 9fa246f555..8e172d035a 100644
--- a/tests/PHPStan/Rules/Pure/PureFunctionRuleTest.php
+++ b/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'], []);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Pure/PureMethodRuleTest.php b/tests/PHPStan/Rules/Pure/PureMethodRuleTest.php
index 2b896c17b1..88bb38c5d4 100644
--- a/tests/PHPStan/Rules/Pure/PureMethodRuleTest.php
+++ b/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'], []);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Pure/data/bug-14511-method.php b/tests/PHPStan/Rules/Pure/data/bug-14511-method.php
new file mode 100644
index 0000000000..5b8b15030a
--- /dev/null
+++ b/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;
+	}
+
+}
diff --git a/tests/PHPStan/Rules/Pure/data/bug-14511.php b/tests/PHPStan/Rules/Pure/data/bug-14511.php
new file mode 100644
index 0000000000..72569f7799
--- /dev/null
+++ b/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;
+}