Is it possible to change a type of method parameter in extensions?

[canvural]

Hi,

I'm trying to solve a problem in Larastan.

In Laravel's Eloquent builder class there are some methods that checks the existence of relations and allows you to pass a closure to further modify the query. For example whereHas method

Post::query()->whereHas('comments', function (Builder $query): void {
    $query->where('content', 'like', 'code%');
});

The closure passed in the second argument, would create a SQL query that works on the comments table. Not posts.

And Builder class is made generic in Larastan, so we can know on which model a builder operates on. And whereHas method has a stub file that looks like this in Larastan (simplified):

/**
 * @param  string  $relation
 * @param  (\Closure(static): void) $callback
 * /

From the previous example, return type of Post::query() is Builder<App\Post>. So inside the whereHas PHPStan resolves the static type in the closure to Builder<App\Post> Which is correct from type-system point of view. It resolves the static to the called on type.

But like I explained before, in runtime that $query would have type like Builder<App\Comment>

So there is my question. Is it possible to change the type of $query with some kind of extension? If it was a magic method it'd be easy to do so with returning custom MethodReflection with correct parameter types.

Thank you.

[ondrejmirtes]

If it was a magic method it'd be easy to do so with returning custom MethodReflection with correct parameter types.

Exactly, this is the only chance to do that :(

I think this looks like a similar problem to larastan/larastan#1110 so maybe it should cover that too.

[Neol3108]

Is this not possible with a TypeNodeResolverExtension? I've been trying to get this to work but without success

[ondrejmirtes]

It's not.