[Feature Request]: Parameter and return value types for macros

[smares]

Feature Description

Is it possible to override the parameter or return types for macros? I would like to be able to narrow-down types that are not natively supported by PHP, such as string[], int-mask, generics, etc.

PHPStan currently does not support PHPDoc for anonymous functions, but is that something Laravel Idea could support?

[adelf]

Hi.

I just tried this:

        Route::macro('apiPost', function($url, $controller) {
            /** @var int[] */
            return Route::post($url, $controller)->middleware('auth:sanctum');
        });

and the helper code looks like this:

* @method int[] apiPost($url, $controller)

What do you think about it?

[smares]

But how would you narrow the parameter types? I have this macro:

Response::macro('validatedJson', function (array $rules, ?string $key = null, mixed $default = null, ?int $flags = JSON_THROW_ON_ERROR): mixed {

I would like to be able to type $flags as int-mask<JSON_BIGINT_AS_STRING, JSON_INVALID_UTF8_IGNORE, JSON_INVALID_UTF8_SUBSTITUTE, JSON_OBJECT_AS_ARRAY, JSON_THROW_ON_ERROR>|null

[adelf]

Yes. Parameters aren't that simple. I did some research... and it seems PhpStorm also doesn't understand int-mask, for example. So, what is your goal? Why do you need it? I'm ready to help in any case)

[smares]

Didn't realize PhpStorm does not support int-mask, but then maybe for other types?

Basically, I was hoping to be able to give developers as much hints as possible during development and PHPStan does not support PHPDoc for closures either so right now, there is no possibility to add static type guards neither through it nor through IDE helper.