Peter Maatman
Peter Maatman
I just finished reading the available book chapters. The main thing that seemed unclear to me were the macros used for creating gobjects and types and such. They seem a...
### Environment PHP 7.4.13 Sentry SaaS (sentry.io) We are using an in-house framework, so no laravel or symphony and we don't use promises in the application itself (not sure if...
False positive RedundantConditionGivenDocblockType when combining mixed and null-coalescing operator
https://psalm.dev/r/1d89182ec6 I think this should not infer that the string length is always 0. With `mixed` as type I don't think you can know that it always reduces to 0.
https://psalm.dev/r/dfb092ce4c If you remove the `?? []` on line 16 the snipped above will error out with an `Undefined offset: 1` error. So this is seen as a `ParadoxicalCondition` while...
https://psalm.dev/r/6b57f1fc40 I'm assuming that what's going on here is that psalm can't deduce that $y never changes before the execution of the closure. However because we know that $y is...
I have a project that is using php assertions to verify some pre/postconditions and my regular unit tests fail if such assertions fail because phpunit by default has `convertWarningsToExceptions` on...
I expected the below to typecheck but it errors https://psalm.dev/r/5428c288c8
It's unclear to me how to type the parameter of the short closure so that psalm doesn't error on an `ArgumentTypeCoercion`. I can guarantee that the input to the closure...
https://psalm.dev/r/8f957b571f When using promoted properties you can't use `@psalm-suppress` to suppress issues on the promoted properties, like `PossiblyUnusedProperty`.