From 5643cf53d4983b75a7772cd96b53b109c3a020a9 Mon Sep 17 00:00:00 2001
From: kkmuffme <11071985+kkmuffme@users.noreply.github.com>
Date: Sat, 13 Jan 2024 16:00:57 +0100
Subject: [PATCH] fix mixed test not actually checking mixed (since
 superglobals have a more specific type now)

---
 tests/TypeReconciliation/ConditionalTest.php | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/tests/TypeReconciliation/ConditionalTest.php b/tests/TypeReconciliation/ConditionalTest.php
index 5a070688870..4d48add4f1d 100644
--- a/tests/TypeReconciliation/ConditionalTest.php
+++ b/tests/TypeReconciliation/ConditionalTest.php
@@ -1168,11 +1168,19 @@ function Foo($width, $height) : void {
             ],
             'notEmptyCheckOnMixedInTernary' => [
                 'code' => '<?php
-                    $a = !empty($_SERVER["HTTPS"]) && $_SERVER["HTTPS"] !== "off" ? true : false;',
+                    /** @psalm-suppress InvalidReturnType */
+                    function foo(): array {}
+
+                    $b = foo();
+                    $a = !empty($b["hello"]) && $b["hello"] !== "off" ? true : false;',
             ],
             'notEmptyCheckOnMixedInIf' => [
                 'code' => '<?php
-                    if (!empty($_SERVER["HTTPS"]) && $_SERVER["HTTPS"] !== "off") {
+                    /** @psalm-suppress InvalidReturnType */
+                    function foo(): array {}
+
+                    $b = foo();
+                    if (!empty($b["hello"]) && $b["hello"] !== "off") {
                         $a = true;
                     } else {
                         $a = false;