Reproducer

VincentLanglet · VincentLanglet · commit 820219d013c6 · 2025-08-02T16:08:23.000+02:00
diff --git a/.github/workflows/e2e-tests.yml b/.github/workflows/e2e-tests.yml
@@ -282,6 +282,9 @@ jobs:
               cd e2e/ignore-error-extension
               composer install
               ../../bin/phpstan
+          - script: |
+              cd e2e/bug10483
+              ../../bin/phpstan -vvv
 
     steps:
       - name: "Checkout"
diff --git a/e2e/bug-10483/bootstrap.php b/e2e/bug-10483/bootstrap.php
@@ -0,0 +1,3 @@
+<?php
+
+define("FILTER_VALIDATE_FLOAT",false);
diff --git a/e2e/bug-10483/bug-10483.php b/e2e/bug-10483/bug-10483.php
@@ -0,0 +1,5 @@
+<?php
+
+function doFoo(mixed $filter): void {
+	\PHPStan\Testing\assertType('non-falsy-string|false', filter_var("no", FILTER_VALIDATE_REGEXP));
+}
diff --git a/e2e/bug-10483/phpstan.dist.neon b/e2e/bug-10483/phpstan.dist.neon
@@ -0,0 +1,7 @@
+parameters:
+    level: 9
+    paths:
+        - src
+
+    bootstrapFiles:
+        - bootstrap.php

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+<?php`
	`2`	`+`
	`3`	`+define("FILTER_VALIDATE_FLOAT",false);`
-Original file line number
+Diff line change
@@ @@ -0,0 +1,5 @@ @@
 +<?php
++
 +function doFoo(mixed $filter): void {
 +	\PHPStan\Testing\assertType('non-falsy-string|false', filter_var("no", FILTER_VALIDATE_REGEXP));
 +}