Markus Staab

I am wrong: https://3v4l.org/vICAT

coming back to my initial example: https://phpstan.org/r/fe637382-3eac-4d4b-afcb-0a93bc2af297 I think having `true|"abc"` would still be way better than `mixed`

a fix is similar to how mixed narrowing was optimized in the past e.g. in - https://github.com/phpstan/phpstan-src/pull/3434 - https://github.com/phpstan/phpstan-src/pull/3420

after debugging it I can see that return-type-extension refined types are considered a "php-doctype" refined type and thats the reason why the tip is showing up

a php-based cache file, which dumps the output of `var_export` and re-reads it using a `require` should be pretty effiecient even with huge arrays (and would also prevent the need...

we had the same oberservation on our end. it did not work, but I did not have time to dig into it.

it might make sense to re-use [ArgumentsNormalizer](https://github.com/phpstan/phpstan-src/blob/068be33ffe572a64647d369e7b63115b58ef1d40/src/Analyser/ArgumentsNormalizer.php) for this fix

great report. adding back async streams would also help in [not blocking the phpunit main process](https://github.com/sebastianbergmann/phpunit/issues/5986) while workers do their thing

I can reproduce in PHPUnit 11.5.x using ### `IssueTest5993.php` ``` --TEST-- PHPUnit process is blocked when there's a lot of output and a test with separate process --INI-- error_reporting=-1 display_errors=1...

Note to self: maybe our problem is similar to https://github.com/php/php-src/pull/16456/files