PHPStan lvl 4 & Fix/issue 233 followup

.gitattributes

@@ -1,6 +1,7 @@
 /.docker                export-ignore
 /.github                export-ignore
 /tests                  export-ignore
+/types                  export-ignore
 .gitattributes          export-ignore
 .gitignore              export-ignore
 docker-compose.ci.yml   export-ignore

.github/CONTRIBUTING.md

@@ -26,4 +26,5 @@ We accept contributions via Pull Requests on [GitHub](https://github.com/stauden
 docker compose run --rm php8.3 composer install
 docker compose run --rm php8.3 vendor/bin/phpunit
 docker compose run --rm php8.3 vendor/bin/phpstan analyse --memory-limit=-1
+docker compose run --rm php8.3 vendor/bin/phpstan analyse --configuration=phpstan.types.neon.dist --memory-limit=-1
 ```

.github/workflows/static-analysis.yml

@@ -31,3 +31,7 @@ jobs:
         run: |
           docker compose -f docker-compose.yml -f docker-compose.ci.yml run --rm php${{ matrix.php }} \
             vendor/bin/phpstan analyse --error-format=github --memory-limit=-1
+      - name: Analyse types
+        run: |
+          docker compose -f docker-compose.yml -f docker-compose.ci.yml run --rm php${{ matrix.php }} \
+            vendor/bin/phpstan analyse --configuration=phpstan.types.neon.dist --error-format=github --memory-limit=-1

composer.json

@@ -20,7 +20,6 @@
         "larastan/larastan": "^2.0",
         "mockery/mockery": "^1.5.1",
         "orchestra/testbench": "^9.0",
-        "phpstan/phpstan-mockery": "^1.1",
         "phpunit/phpunit": "^11.0",
         "singlestoredb/singlestoredb-laravel": "^1.5.4",
         "staudenmeir/eloquent-has-many-deep": "^1.20"

phpstan.neon.dist

@@ -1,11 +1,9 @@
 includes:
     - ./vendor/larastan/larastan/extension.neon
-    - ./vendor/phpstan/phpstan-mockery/extension.neon
 parameters:
-    level: 2
+    level: 5
     paths:
         - src
-        - tests
     ignoreErrors:
         - '#Unsafe usage of new static\(\).#'
         - '#Access to an undefined property Illuminate\\Database\\Eloquent\\Model::\$laravel_through_key#'

phpstan.types.neon.dist

@@ -0,0 +1,6 @@
+includes:
+    - ./vendor/larastan/larastan/extension.neon
+parameters:
+    level: 9
+    paths:
+        - types

src/Eloquent/Builder.php

@@ -8,7 +8,7 @@
 /**
  * @template TModel of \Illuminate\Database\Eloquent\Model
  *
- * @extends Base<TModel>
+ * @extends \Illuminate\Database\Eloquent\Builder<TModel>
  */
 class Builder extends Base
 {

src/Eloquent/Collection.php

@@ -16,7 +16,7 @@ class Collection extends Base
      * Generate a nested tree.
      *
      * @param string $childrenRelation
-     * @return static<int, TModel>
+     * @return static
      */
     public function toTree($childrenRelation = 'children')
     {

src/Eloquent/Graph/Collection.php

@@ -14,9 +14,6 @@ class Collection extends Base
 {
     /**
      * Generate a nested tree.
-     *
-     * @param string $childrenRelation
-     * @return $this<int, TModel>
      */
     public function toTree(string $childrenRelation = 'children'): static
     {

src/Eloquent/Relations/BelongsToManyOfDescendants.php

@@ -23,8 +23,8 @@ class BelongsToManyOfDescendants extends BelongsToMany
      * Create a new belongs to many of descendants relationship instance.
      *
      * @param \Illuminate\Database\Eloquent\Builder<TRelatedModel> $query
-     * @param \Illuminate\Database\Eloquent\Model $parent
-     * @param string $table
+     * @param TRelatedModel $parent
+     * @param class-string<TRelatedModel>|string $table
      * @param string $foreignPivotKey
      * @param string $relatedPivotKey
      * @param string $parentKey
@@ -46,24 +46,15 @@ public function __construct(
         parent::__construct($query, $parent, $table, $foreignPivotKey, $relatedPivotKey, $parentKey, $relatedKey);
     }
 
-    /**
-     * Set the base constraints on the relation query.
-     *
-     * @return void
-     */
+    /** @inheritDoc */
     public function addConstraints()
     {
         $this->performJoin();
 
         $this->baseAddConstraints();
     }
 
-    /**
-     * Set the where clause on the recursive expression query.
-     *
-     * @param \Illuminate\Database\Eloquent\Builder $query
-     * @return void
-     */
+    /** @inheritDoc */
     protected function addExpressionWhereConstraints(Builder $query)
     {
         $column = $this->andSelf ? $this->parent->getLocalKeyName() : $this->parent->getParentKeyName();
@@ -75,31 +66,19 @@ protected function addExpressionWhereConstraints(Builder $query)
         );
     }
 
-    /**
-     * Get the local key name for an eager load of the relation.
-     *
-     * @return string
-     */
+    /** @inheritDoc */
     public function getEagerLoadingLocalKeyName()
     {
         return $this->parentKey;
     }
 
-    /**
-     * Get the foreign key name for an eager load of the relation.
-     *
-     * @return string
-     */
+    /** @inheritDoc */
     public function getEagerLoadingForeignKeyName()
     {
         return $this->foreignPivotKey;
     }
 
-    /**
-     * Get the accessor for an eager load of the relation.
-     *
-     * @return string|null
-     */
+    /** @inheritDoc */
     public function getEagerLoadingAccessor()
     {
         return $this->accessor;
@@ -120,21 +99,13 @@ public function getRelationExistenceQuery(Builder $query, Builder $parentQuery,
         return $this->baseGetRelationExistenceQuery($query, $parentQuery, $columns);
     }
 
-    /**
-     * Get the local key name for the recursion expression.
-     *
-     * @return string
-     */
+    /** @inheritDoc */
     public function getExpressionLocalKeyName()
     {
         return $this->parentKey;
     }
 
-    /**
-     * Get the foreign key name for the recursion expression.
-     *
-     * @return string
-     */
+    /** @inheritDoc */
     public function getExpressionForeignKeyName()
     {
         return $this->foreignPivotKey;

src/Eloquent/Relations/Bloodline.php

@@ -15,8 +15,8 @@ class Bloodline extends Descendants
     /**
      * Create a new bloodline relationship instance.
      *
-     * @param \Illuminate\Database\Eloquent\Builder $query
-     * @param \Illuminate\Database\Eloquent\Model $parent
+     * @param \Illuminate\Database\Eloquent\Builder<TRelatedModel> $query
+     * @param TRelatedModel $parent
      * @param string $foreignKey
      * @param string $localKey
      * @return void
@@ -26,14 +26,7 @@ public function __construct(Builder $query, Model $parent, $foreignKey, $localKe
         parent::__construct($query, $parent, $foreignKey, $localKey, true);
     }
 
-    /**
-     * Add a recursive expression to the query.
-     *
-     * @param callable $constraint
-     * @param \Illuminate\Database\Eloquent\Builder|null $query
-     * @param string|null $from
-     * @return \Illuminate\Database\Eloquent\Builder
-     */
+    /** @inheritDoc */
     protected function addExpression(callable $constraint, ?Builder $query = null, $from = null)
     {
         $query = $query ?: $this->query;

src/Eloquent/Relations/Descendants.php

@@ -23,11 +23,7 @@ class Descendants extends HasMany implements ConcatenableRelation
         buildDictionary as baseBuildDictionary;
     }
 
-    /**
-     * Set the base constraints on the relation query.
-     *
-     * @return void
-     */
+    /** @inheritDoc */
     public function addConstraints()
     {
         if (static::$constraints) {
@@ -44,12 +40,7 @@ public function addConstraints()
         }
     }
 
-    /**
-     * Set the constraints for an eager load of the relation.
-     *
-     * @param array $models
-     * @return void
-     */
+    /** @inheritDoc */
     public function addEagerConstraints(array $models)
     {
         $whereIn = $this->whereInMethod($this->parent, $this->localKey);
@@ -65,14 +56,7 @@ public function addEagerConstraints(array $models)
         $this->addExpression($constraint);
     }
 
-    /**
-     * Match the eagerly loaded results to their parents.
-     *
-     * @param array $models
-     * @param \Illuminate\Database\Eloquent\Collection $results
-     * @param string $relation
-     * @return array
-     */
+    /** @inheritDoc */
     public function match(array $models, Collection $results, $relation)
     {
         $dictionary = $this->buildDictionary($results);
@@ -90,12 +74,7 @@ public function match(array $models, Collection $results, $relation)
         return $models;
     }
 
-    /**
-     * Build model dictionary.
-     *
-     * @param \Illuminate\Database\Eloquent\Collection $results
-     * @return array
-     */
+    /** @inheritDoc */
     protected function buildDictionary(Collection $results)
     {
         if ($this->andSelf) {
@@ -117,14 +96,7 @@ protected function buildDictionary(Collection $results)
         })->all();
     }
 
-    /**
-     * Add the constraints for a relationship query.
-     *
-     * @param \Illuminate\Database\Eloquent\Builder $query
-     * @param \Illuminate\Database\Eloquent\Builder $parentQuery
-     * @param array|mixed $columns
-     * @return \Illuminate\Database\Eloquent\Builder
-     */
+    /** @inheritDoc */
     public function getRelationExistenceQuery(Builder $query, Builder $parentQuery, $columns = ['*'])
     {
         if ($query->getQuery()->from === $parentQuery->getQuery()->from) {
@@ -146,14 +118,7 @@ public function getRelationExistenceQuery(Builder $query, Builder $parentQuery,
         return $this->addExpression($constraint, $query->select($columns));
     }
 
-    /**
-     * Add the constraints for a relationship query on the same table.
-     *
-     * @param \Illuminate\Database\Eloquent\Builder $query
-     * @param \Illuminate\Database\Eloquent\Builder $parentQuery
-     * @param array|mixed $columns
-     * @return \Illuminate\Database\Eloquent\Builder
-     */
+    /** @inheritDoc */
     public function getRelationExistenceQueryForSelfRelation(Builder $query, Builder $parentQuery, $columns = ['*'])
     {
         if ($columns instanceof Expression) {
@@ -181,14 +146,7 @@ public function getRelationExistenceQueryForSelfRelation(Builder $query, Builder
         return $this->addExpression($constraint, $query->select($columns), $from);
     }
 
-    /**
-     * Add a recursive expression to the query.
-     *
-     * @param callable $constraint
-     * @param \Illuminate\Database\Eloquent\Builder|null $query
-     * @param string|null $from
-     * @return \Illuminate\Database\Eloquent\Builder
-     */
+    /** @inheritDoc */
     protected function addExpression(callable $constraint, ?Builder $query = null, $from = null)
     {
         $query = $query ?: $this->query;

src/Eloquent/Relations/Graph/Ancestors.php

@@ -22,11 +22,7 @@ class Ancestors extends BelongsToMany implements ConcatenableRelation
         buildDictionary as baseBuildDictionary;
     }
 
-    /**
-     * Set the base constraints on the relation query.
-     *
-     * @return void
-     */
+    /** @inheritDoc */
     public function addConstraints()
     {
         if (static::$constraints) {
@@ -44,12 +40,7 @@ public function addConstraints()
         }
     }
 
-    /**
-     * Set the constraints for an eager load of the relation.
-     *
-     * @param array $models
-     * @return void
-     */
+    /** @inheritDoc */
     public function addEagerConstraints(array $models)
     {
         $column = $this->andSelf ? $this->getQualifiedParentKeyName() : $this->getQualifiedRelatedPivotKeyName();
@@ -60,8 +51,8 @@ public function addEagerConstraints(array $models)
     /**
      * Build model dictionary.
      *
-     * @param \Illuminate\Database\Eloquent\Collection $results
-     * @return array
+     * @param \Illuminate\Database\Eloquent\Collection<array-key, \Illuminate\Database\Eloquent\Model> $results
+     * @return array<string, \Illuminate\Database\Eloquent\Model[]>
      */
     protected function buildDictionary(Collection $results)
     {
@@ -94,14 +85,7 @@ protected function buildDictionary(Collection $results)
         return $dictionary;
     }
 
-    /**
-     * Add the constraints for a relationship query.
-     *
-     * @param \Illuminate\Database\Eloquent\Builder $query
-     * @param \Illuminate\Database\Eloquent\Builder $parentQuery
-     * @param array|mixed $columns
-     * @return \Illuminate\Database\Eloquent\Builder
-     */
+    /** @inheritDoc */
     public function getRelationExistenceQuery(Builder $query, Builder $parentQuery, $columns = ['*'])
     {
         if ($query->getQuery()->from === $parentQuery->getQuery()->from) {