[12.x] Types: EnumeratesValues Sum (#55044)

* add failing type test

* add failing type test for lazy collection

* add conditional return type

* make tests more specific

Author: liamduckett

src/Illuminate/Collections/Traits/EnumeratesValues.php

@@ -535,8 +535,10 @@ public function percentage(callable $callback, int $precision = 2)
     /**
      * Get the sum of the given values.
      *
-     * @param  (callable(TValue): mixed)|string|null  $callback
-     * @return mixed
+     * @template TReturnType
+     *
+     * @param  (callable(TValue): TReturnType)|string|null  $callback
+     * @return ($callback is callable ? TReturnType : mixed)
      */
     public function sum($callback = null)
     {

types/Support/Collection.php

@@ -873,10 +873,10 @@ function ($collection, $count) {
 assertType('Illuminate\Support\Collection<string, string>', $collection->make(['string' => 'string'])->sortKeysDesc(1));
 
 assertType('mixed', $collection->make([1])->sum('string'));
-assertType('mixed', $collection->make(['string'])->sum(function ($string) {
+assertType('int<1, 2>', $collection->make(['string'])->sum(function ($string) {
     assertType('string', $string);
 
-    return 1;
+    return rand(1, 2);
 }));
 
 assertType('Illuminate\Support\Collection<int, int>', $collection->make([1])->take(1));

types/Support/LazyCollection.php

@@ -732,10 +732,10 @@ public function toArray(): array
 assertType('Illuminate\Support\LazyCollection<string, string>', $collection->make(['string' => 'string'])->sortKeysDesc(1));
 
 assertType('mixed', $collection->make([1])->sum('string'));
-assertType('mixed', $collection->make(['string'])->sum(function ($string) {
+assertType('int<1, 2>', $collection->make(['string'])->sum(function ($string) {
     assertType('string', $string);
 
-    return 1;
+    return rand(1, 2);
 }));
 
 assertType('Illuminate\Support\LazyCollection<int, int>', $collection->make([1])->take(1));