Bug report

PHPStan - PHP Static Analysis Tool 0.12.65 (not the latest, but close I guess)

When there is missing symbol, the cache is not invalidated when the symbol appears elsewhere.

Code snippet that reproduces the problem

(ain't that simple)

• let there be a class MyClass, that uses Guzzle and contains RequestOptions::ALLOW_REDIRECTS somewhere in the code
• you checkout the branch containing the above code and run phpstan
• cache is saved with ~ Access to undefined constant RequestOptions::ALLOW_REDIRECTS. in the file MyClass.php
• you notice that this is caused by missing library and run composer install

Expected output

• now that the symbol is known, there is no error

Actual output

• the cache remains in place (I assume that because the file with the error has not changed) and the violation is reported again
• you need to find out that the cache is the culprit and remove it

Is this expected behavior?