kkmuffme

>You can have a project that can work without a specific library at runtime, but I don't get the concept of checking a lib that is not even loadable at...

That would be amazing 👍

I think that's a bad idea, as there already is a way to fix this, that is the generally accepted way to do it (and works with phpstorm, phpstan too):...

Ah sorry, I skipped that. However in that case, you have just given the answer too: >Decide that callers who ignore the type are 'wrong' and any errors are part...

As long as it doesn't change psalm's default behavior, I'm all for it. Please add proper docs for it, so it doesn't end up as an undocumented psalm feature like...

Same issue also for regular constants: https://psalm.dev/r/53d81047a5

@orklah afaik this is implemented already now? (ticket can be closed?)

Isn't there a phpcs rule for this? (slevomat?)

It already works correctly with "isset" (in all variations): https://psalm.dev/r/fac510dec4 It only needs to be extended, so it works with empty too. Just adding "empty" would probably cover 95% of...

Major annoyance - would be amazing if somebody could take a look at this