From 247ae64eaa4126e6fd9bca563d71ac95080392cf Mon Sep 17 00:00:00 2001
From: Ondrej Mirtes <ondrej@mirtes.cz>
Date: Fri, 18 Oct 2024 09:45:25 +0200
Subject: [PATCH] Fix

---
 src/Type/TypeResult.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Type/TypeResult.php b/src/Type/TypeResult.php
index 18942d7080..5d10bced1f 100644
--- a/src/Type/TypeResult.php
+++ b/src/Type/TypeResult.php
@@ -10,6 +10,7 @@ final class TypeResult
 
 	public readonly Type $type;
 
+	/** @var list<string> */
 	public readonly array $reasons;
 
 	/**