Bug report

The PHPStan does not realize the execution of the \Memcached::cas() will change the \Memcached::getResultCode()

Code snippet that reproduces the problem

https://phpstan.org/r/35019b36-2b84-4cdf-bb0e-876bcc44f128

Expected output

No error.

Did PHPStan help you today? Did it make you happy in any way?

If one is reporting a bug, then they find the tool useful, and want it to be better.