From 422e4a6f42e623092161d34ebfbb2aff7ca1cc27 Mon Sep 17 00:00:00 2001
From: "Alexander M. Turek" <me@derrabus.de>
Date: Sun, 11 Dec 2022 11:50:52 +0100
Subject: [PATCH] Update types for dd()

---
 Resources/functions/dump.php | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/Resources/functions/dump.php b/Resources/functions/dump.php
index 6221a4d1..978a012f 100644
--- a/Resources/functions/dump.php
+++ b/Resources/functions/dump.php
@@ -32,10 +32,7 @@ function dump(mixed $var, mixed ...$moreVars): mixed
 }
 
 if (!function_exists('dd')) {
-    /**
-     * @return never
-     */
-    function dd(...$vars): void
+    function dd(mixed ...$vars): never
     {
         if (!in_array(\PHP_SAPI, ['cli', 'phpdbg'], true) && !headers_sent()) {
             header('HTTP/1.1 500 Internal Server Error');