Reproduce bug 10483

.github/workflows/other-tests.yml

@@ -407,6 +407,12 @@ jobs:
               ../../phpstan clear-result-cache -q
               ../../phpstan analyse --generate-baseline -q
               ../../phpstan analyse -vvv --fail-without-result-cache
+          - php-version: 7.2
+            ini-values: memory_limit=256M
+            operating-system: ubuntu-latest
+            script: |
+              cd e2e/bug10483
+              ../../phpstan analyze
 
     steps:
       - name: "Checkout"

e2e/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);

e2e/bug10483/phpstan.dist.neon

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

e2e/bug10483/src/bug10483.php

@@ -0,0 +1,5 @@
+<?php
+
+function doFoo(mixed $filter): void {
+    var_dump(filter_var("no", FILTER_VALIDATE_REGEXP));
+}