Andrey K.

Hi @lstrojny! Since 3.11.3 Psalm supports `func_num_args()` for conditional types. You could use for compose but with compromises. ```php /** * @template A * @template B * @template C *...

@weirdan With your code, I can't pass `Map` to `gimmeUuidMap` function: https://psalm.dev/r/3b5a4a7d83 With `class_alias` it should be possible. In our codebase we usually use `Set` or `Vector`. It was nice...

Finally someone took it on. Good luck!

> I think it is important that @satisfies only works on creation Why it should be limited to the `new` expression? [Typescript allows this](https://www.typescriptlang.org/play?#code/FAYw9gdgzgLgBANwIxwLxwOYFMYGUwC2OAFgJYQYAUAlHFAIYylQBmpWUcASluAE4ATADyw+5DABo6MMRTgAfOBACuBAEZY+APgDcoSLEQAmNJhz4iMMhRp1GzNh268wgkTPFTR4hUtUa+XzUwMAAbLHoIXWBgFmUIECZIMzxCEnFbAG9gOFy+HGU+CDhs3LK4FlgALjgkCRzyuggBGoAiAGIABk6WFm7W+sa4Kz4amWUsQdyAXzLgaeAgA)

I can't undestand how it solves this issue: https://psalm.dev/r/7da42be7d7 ```php /** @satisfies MyContainer */ $t = new MyContainer; /** @psalm-trace $t */; // MyContainer // OK! $t->addValue(123); /** @psalm-trace $t...

> in your flip-zip example, are you sure that the expected output is list and not list ? You right. Expected output should be `list`. It seems I was in...

> @klimick is this expected? Will #7471 be able to solve that? Expected. Inference of this kind is hard to implement for me. And functions with reverse arg ordering in...

> The following example shows the issue: https://psalm.dev/r/3e6b2451c3 Your first example has no issues now. Psalm can infer callable args at now. But only in left to right order. >...