Bruce Weirdan comments

Results 291 comments of


                                            Bruce Weirdan

False positive `ParadoxicalCondition` when using null-coalescing assignment

That's because $v is undefined (=mixed). Fix that and you'll get `TypeDoesNotContainType` (=paradox): https://psalm.dev/r/55695988d8

False positive `ParadoxicalCondition` when using null-coalescing assignment

Overall, I don't see any bugs here. cc: @AndrolGenhald

False-positive `TypeDoesNotContainType` while using conditional type for return

This is partially fixed by #9286. All traces produce expected results, but TypeDoesNotContainType is still there.

False-positive `TypeDoesNotContainType` while using conditional type for return

`TypeDoesNotContainType` is no longer reported, and results match those of PHPStan

First-class callable on `strtolower(...)` causes --taint-analyzis to throw Undefined property: PhpParser\Node\VariadicPlaceholder::$value

https://psalm.dev/r/8bc8c90173

Tainting function input arguments

Normally you would do it like this: https://psalm.dev/r/8d9ef2c87f But Psalm doesn't seem to read taint taints on `offsetGet()` when you access it via `[]` operator. For reference, the following should...

Tainting function input arguments

> Is there any way to make Psalm detect the taint in this case? Not yet, thus the `enhancement` label

Greater > and Less Than < comparisons with non-numeric, non-string, non-resource types should report error

Why allow comparing resources though?

Add more specific return type of session_status

I don't think constants are supported in callmaps.

Add more specific return type of session_status

You can put constant values there.