From b83dd1055b364cc7cdc714cf1dcd114788974892 Mon Sep 17 00:00:00 2001
From: Daniel Scherzer <daniel.e.scherzer@gmail.com>
Date: Wed, 18 Mar 2026 14:14:03 -0700
Subject: [PATCH] gen_stub: use real `mixed` type

---
 build/gen_stub.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/gen_stub.php b/build/gen_stub.php
index c64aa65530f..2e9f1417b5e 100755
--- a/build/gen_stub.php
+++ b/build/gen_stub.php
@@ -2250,7 +2250,7 @@ OUPUT_EXAMPLE
 
 class EvaluatedValue
 {
-    public /* readonly */ /* mixed */ $value;
+    public /* readonly */ mixed $value;
     public SimpleType $type;
     public Expr $expr;
     public bool $isUnknownConstValue;