FILTER_SANITIZE_* can return empty strings

[BackEndTea]

Bug report

PhpStan assumes that filter var will return a non empty string if it was fed one. This is not correct for the sanitize versions, as those strip invalid data, which may result in an empty string

Code snippet that reproduces the problem

https://3v4l.org/PXaQ7

https://phpstan.org/r/e5293908-1516-4ca5-bc29-4c6bd7ffbb4b

Expected output

[mergeable]

This bug report is missing a link to reproduction on phpstan.org.

It will most likely be closed after manual review.

[phpstan-bot]

@BackEndTea After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-2: Dumped type: non-empty-string|false
+2: Dumped type: string|false

Full report

Line	Error
2	`Dumped type: string

[ondrejmirtes]

Fixed by: phpstan/phpstan-src#650

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.