orklah

There's a bug in the Callmap handling when more than one signature exists and a parameter exists only in the second signature. For example: https://psalm.dev/r/4a288e2401 I guess an easy fix...

You're right, it is in some way a regression. Right now, Psalm's type system cannot store those two informations at the same time: - class name - properties names/values For...

Well, intersections are messy right now. I think there's a lot of those where that came from. Not sure what we can do without a big overhaul...

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...

duplicate of #2206

Strongly related to https://github.com/vimeo/psalm/issues/6504

The issue here, and for both issue I closed as duplicate above is inheritance between properties. On param and returns, Psalm does that by default. As long as there is...

This may be a different bug where aliases are wrongly checked when looking at invariance. Would you mind creating a new issue?

It's actually worse than that. I think @var doesn't work at all above a constant: https://psalm.dev/r/6e0994afa7

Closing this as a duplicate of https://github.com/vimeo/psalm/issues/942