E.g. if the true and false branches of a conditional are pure, psalm should warn about $pure1 ?: $pure2 or expr ? $pure1 : $pure2
For unary operators other than @ and binary operators I'd usually expect an analyzer to warn if the result was unused (e.g. for (+unused; +unused, $actuallyUsed, unused))
https://psalm.dev/r/4bb488a86d
E.g. if the true and false branches of a conditional are pure, psalm should warn about
$pure1 ?: $pure2
orexpr ? $pure1 : $pure2
For unary operators other than
@
and binary operators I'd usually expect an analyzer to warn if the result was unused (e.g.for (+unused; +unused, $actuallyUsed, unused)
)