Add non regression test for #13267

Author: VincentLanglet

tests/PHPStan/Rules/Methods/CallStaticMethodsRuleTest.php

@@ -885,6 +885,14 @@ public function testDynamicCall(): void
 		]);
 	}
 
+	public function testBug13267(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkExplicitMixed = false;
+
+		$this->analyse([__DIR__ . '/data/bug-13267.php'], []);
+	}
+
 	public function testRestrictedInternalClassNameUsage(): void
 	{
 		$this->checkThisOnly = false;

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

@@ -0,0 +1,16 @@
+<?php declare(strict_types = 1);
+
+namespace Bug13267;
+
+class ExampleException extends \ErrorException {
+	public function __construct(\Throwable $e) {
+		parent::__construct(
+			$e->getMessage(),
+			$e->getCode(),
+			1,
+			$e->getFile(),
+			$e->getLine(),
+			$e->getPrevious(),
+		);
+	}
+}