@zjbarg,

Thanks for attempting this---however, what you are trying to do is not possible with PHPDocs alone.

Given the following example:

    /**     * Add a relationship count / exists condition to the query with where clauses.     *     * @template TRelatedModel of \Illuminate\Database\Eloquent\Model+    * @template TRelatedModelBuilder of \Illuminate\Database\Eloquent\Builder<TRelatedModel>     *     * @param  \Illuminate\Database\Eloquent\Relations\Relation<TRelatedModel, *, *>|string  $relation-    * @param  (\Closure(\Illuminate\Database\Eloquent\Builder<TRelatedModel>): mixed)|null  $callback+    * @param  (\Closure(TRelatedModelBuilder): mixed)|null  $callback     * @param  string  $operator     * @param  int  $count     * @return $this     */    public function whereHas($relation, ?Closure $callback = null, $operator = '>=', $count = 1)

method templates can only be usedto extract type information from the given parameters. Meaning that:

• TRelatedModelBuilder cannot work because there's no builder type being passed to the method
• phpstan is unable to resolve the template type which is why it'smixed
• at best, the type (even if phpstan could resolve it) would be\Illuminate\Database\Eloquent\Builder<TRelatedModel> which is what is already provided

Also, the existing template type (TRelatedModel) can only be used with actual relation objects that are passed to the method (e.g.,$model->order()) because it's extracting the inner model type from the relation). It cannot work with strings ('order') because phpstan has no idea what the actual relation type is through PHPDocs alone (this is possible using custom PHPStan extensions, more on this later). See example from my linked PR:

$query->whereHas($user->posts(),function ($query) {// Knows that it's a Post Builder!assertType('Illuminate\Database\Eloquent\Builder<Illuminate\Types\Builder\Post>',$query);});

When using mypublished Larastan fork, Larastanis able to correctly determine what the builder type is and it handles custom builders (including nested relations). Here's some examples from the test suite:

User::query()->whereHas('accounts',function (Builder$query) {assertType('Illuminate\Database\Eloquent\Builder<App\Account>',$query);});User::query()->withWhereHas('accounts.posts',function (Builder|Relation$query) {assertType('App\PostBuilder<App\Post>|Illuminate\Database\Eloquent\Relations\BelongsToMany<App\Post, App\Account, Illuminate\Database\Eloquent\Relations\Pivot,\'pivot\'>',$query);});

Iupstreamed a PR with this functionality, however, the PR was closed because there's still somelimitations with PHPStan...I guess it's a matter of if you want no support at all until it's fully supported or mostly supported with somequirks.

In the meantime, if you want your editor and phpstan to know the builder type (without using my fork), you cannarrow the type:

OrderItem::query()->whereHas('order',function ($q) {assert($qinstanceof OrderBuilder);return$q->shipped();});

Best,