Andrey K.

```php /** * @param ArrayList $numbers */ function test(ArrayList $numbers): void {} /** * @return ArrayList */ function getNumbers(): ArrayList { return ArrayList::empty(); } /** ERROR: MixedArgumentTypeCoercion at /app/run.php:34:5 Argument...

Invalid template instantiation for iterable

5

https://psalm.dev/r/6dbd395818 (`array|Travesable` against `iterable`) https://psalm.dev/r/383c7f3677 simplified (only `iterable`)

Allow to set custom error message for `@psalm-if-this-is`

1

https://psalm.dev/r/ad37d58f21 Consider to example above. Error message: `Class type must be ArrayList current type ArrayList` But it can be more understandable: `Redundant call. ArrayList does not contain null values.` It...

Symfony 4. Problem with cache and source file editing.

2

Hello! I have problems with editing source files. Aspects stop working after any change in the source file that works under the aspect. After running the cache:clear command, all aspects...

Type parameters for class_alias

6

There are currently no true type aliases in PHP. Except `class_alias`: https://3v4l.org/kVf0M But `class_alias` cannot have any type parameters. I can't write code like this: ```php

```php interface A {} interface B {} final class AB implements A, B {} interface GetA { /** * @return A */ public function get(): mixed; } interface GetB {...

Polymorphic anonymous functions

4

### Bug report The new feature for callable type from [1.10.60](https://github.com/phpstan/phpstan/releases/tag/1.10.60) release does not work well. Most easiest case of usage: https://phpstan.org/r/870d442a-918b-4ea8-8181-afe38d8faae2 Type representation dumps incorrectly: https://phpstan.org/r/294502a4-683d-4dc7-a7f5-24b07291ec22 Other (can be...