Bug report

I'm trying to update PHPStan in one of my projects to the latest version (from 0.12.5 to 0.12.9). The problem is that somehow this new version behaves differently locally and in CI. I generated new baseline locally and committed it. CI now reports around 60 errors even though locally everything passes.

Locally I cleared both the project cache and phpstan cache.

On CI everything runs in newly-built docker image so there are no caches.

PHP Version might admittedly be slightly different but is certain to be 7.3.x in both cases.

There are some errors that are only reported in CI (mostly missing iterable type) which my localhost failed to add to baseline.

There are also some errors that are in the code, were added into the baseline but CI says that this ignored error was not found.

The one thing all the errors have in common is that they are errors in traits.

Any idea what might be wrong here?