orklah

Well, from a static analysis point of view, there is two possibilities: - The analysis tool try to infer the type of `T` from the value. This is delicate because...

> Can you tell me some real-world examples of implementsInterface usages? I've seen examples where both arguments are literal strings which doesn't seem very useful. This leads to weird hacks...

There's a confusion due to bad naming in Psalm's code in retrospect. TLiteralClassString is a TLiteralString whose value happens to be a known class-string and is denoted like `stdClass::class`: https://psalm.dev/r/b8413cbf35....

Hey @michael-grunder , I'm one of the maintainers of Psalm. We're struggling a lot recently with the definitions of phpredis methods to have a correct idea of what the current...

> The most accurate prototype information is in the .stub files from this branch, which should be completely correct Thanks! That's good to know! We have a feedback from a...

We have another user who is surprised to see the Redis instance returned by some methods: https://github.com/vimeo/psalm/issues/7709#issuecomment-1047052921 (for example on exists). Is this expected behaviour? Maybe on some special conditions?

Oh thanks! That might need a special handling in Psalm if we want to be super precise!

You may also want to revert https://github.com/vimeo/psalm/commit/ae172b2c04f4f2341e09b68a5391baefbccfc905

Adding /** @psalm-trace $j */; should make Psalm return an error called "Trace". If it's not popping up, make sure the file is actually analyzed by Psalm. Look at your...

yeah, if the response is mixed, you'd have to be at level 1 for Psalm to show you the error (since mixed is potentially your type). You'll have to check...