Feature Request: Support PHPStan type aliases

[Grldk]

Description

In our codebase we use both global and local phpstan type aliases.

These do not seem to work in PHPantom. This code shows this error:

$this->subject->setProperty('prop', $value);

// Argument 2 ($value) expects ?App\Traits\Models\PropertyValue, got 1 phpantom(type_mismatch_argument)

PropertyValue is a global phpstan alias in this code, defined in phpstan.neon.dist, and should accept int. PHPStan does not report errors on this line.

Wasn't sure if I should create this issue here or in the vsix repo, but don't think its a specific vsix problem.

[AJenbo]

It's not easy to tackle this issue when you do not provide, we do support PHPStan type aliases: https://github.com/PHPantom-dev/phpantom_lsp/blob/main/examples/php/completion.php#L2918

Please use https://phpstan.org/try to provide a working example of what doesn't work.

[Grldk]

Thanks for your reply, and for the work on all this, looks promising!

I'm trying to set up an example in https://phpstan.org/try, but that does not support global type aliases, only local ones, so seems I'm a bit stuck. Local aliases do work fine with PHPantom. Its global aliases that don't seem to work.

https://phpstan.org/r/b8e8f74d-1df4-41ca-b4bd-0ca09ca822c8

My code boils down to this example. But PropertyValue is defined in my phpstan config file, phpstan.neon.dist, not locally. That results in PHPantom not recognizing the alias, and showing errors like the one above on calling a function that has the alias in its type, or Class 'App\Traits\Models\PropertyValue' not foundphpantom(unknown_class) in the trait that defines the function.

Another thing I've noticed with phpstan aliases is using them in a class that does not import them does not work properly. (Can create a new issue for this if you want)

https://phpstan.org/r/f05af41f-5e89-4fcc-9733-3c1e92bbaf28

In this example, I get correct type hints for the array shape in NestedForm, where the type is imported, but when I use it in the Controller, where the type is not imported, I only get something like this:

And no hints about the underlying shape. I would expect to get correct hints without having to import the type here.