added type inference test

tests/PHPStan/Analyser/Bug10483InferenceTest.php

@@ -0,0 +1,35 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Analyser;
+
+use PHPStan\Testing\TypeInferenceTestCase;
+
+class Bug10483InferenceTest extends TypeInferenceTestCase
+{
+
+	public function dataFileAsserts(): iterable
+	{
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug10483.php');
+	}
+
+	/**
+	 * @dataProvider dataFileAsserts
+	 * @param mixed ...$args
+	 */
+	public function testFileAsserts(
+		string $assertType,
+		string $file,
+		...$args,
+	): void
+	{
+		$this->assertFileAsserts($assertType, $file, ...$args);
+	}
+
+	public static function getAdditionalConfigFiles(): array
+	{
+		return [
+			__DIR__ . '/data/bug10483.neon',
+		];
+	}
+
+}

tests/PHPStan/Analyser/data/bug10483-bootstrap.php

@@ -0,0 +1,5 @@
+<?php
+
+// constant that's used in the Filter extension that was introduced in a later version of PHP.
+// on earlier php version introduce the same constant via a bootstrap file but with a wrong type
+if(!defined("FILTER_SANITIZE_ADD_SLASHES"))define("FILTER_SANITIZE_ADD_SLASHES",false);

tests/PHPStan/Analyser/data/bug10483.neon

@@ -0,0 +1,7 @@
+parameters:
+    level: 9
+    paths:
+        - src
+
+    bootstrapFiles:
+        - bug10483-bootstrap.php

tests/PHPStan/Analyser/data/bug10483.php

@@ -0,0 +1,9 @@
+<?php
+
+namespace Bug10483;
+
+use function PHPStan\Testing\assertType;
+
+function doFoo(): void {
+	assertType('non-falsy-string|false', filter_var("no", FILTER_VALIDATE_REGEXP));
+}