Closed stof closed 1 year ago
This looks cool but without tests/validation I find it hard to review ;) If we merge it 'wrong' will it break things for anyone?
If one is using PHPStan with jangregor/phpstan-prophecy
, it probably will have priority over "native" annotations within library. I'm not sure about scenario where PHPStan is used without this plugin and there are errors in the baseline - then it depends on reportUnmatchedIgnoredErrors
flag. Even if it's enabled, then all that has to be done is regenerating baseline.
@Wirone the goal is that a next version of jangregor/phpstan-prophecy
removes its stub to rely on the built-in annotations instead. The extension would only have to deal with the magic API.
Closes #544