internal error analysing any code that uses LevelDB when extension not present #2823
Description
Bug report
This issue started to show up with 0.12.4. I assume it has something to do with stub validation.
Code snippet that reproduces the problem
https://phpstan.org/r/271dc1ae-2b15-49c5-9a98-31e60ffbd3eb
Expected output
No errors.