Bruce Weirdan
Bruce Weirdan
This is now the default behaviour: https://psalm.dev/r/19e15d40ad Old-style, unsealed shapes can be expressed using `array{T1,T2,T3,...}` syntax.
Unrelated note: `Traversable&Iterator` can be simplified to `Iterator`
Are you sure you used `psalm-plugin` and not `psalm` in your cli invocation? Because that's what `psalm` would output when asked to check a non-existing file/folder.
Curious. What does `ls -l vendor/bin/psalm-plugin` output?
Simplified: https://psalm.dev/r/a6fea04924
Running the following on PHP 8.3.2 produces `PHP Fatal error: Uncaught TypeError: Unsupported operand types: FFI\CData + int`, so what make you think Psalm is wrong to report `InvalidOperand`? ```php
Good, that's how it was intended from the very beginning of this plugin, back when doctrine maintainers were not as receptive to static analysis as they are now. > `doctrine/collection`...
It may fix the immediate issue, but it isn't a robust solution. There's a myriad of flags you can pass to PHPUnit / paratest / etc, and whitelisting all of...
Overall this seems useful. Am I right the proposed changes allow `@psalm-pure + @psalm-assert-if-true` function results to be unused? If so, I don't think that's right. Unlike `@psalm-assert`, which can...
@ohader the thing you're describing looks much more complicated then what's proposed here. While a return value usage is fairly easy to define (any read operation), usage of an atomic...