From d5cccbade209819c3a350ec96d89150bcb7bc7bb Mon Sep 17 00:00:00 2001
From: Marco Pivetta <ocramius@gmail.com>
Date: Tue, 6 Dec 2022 11:12:01 +0100
Subject: [PATCH] Marking `ReflectionProperty#$name` as `string` rather than
 `non-empty-string`

Because @weirdan is a party pooper (they poop at the parties)

Ref: https://www.youtube.com/watch?v=gjwofYhUJEM
Ref: https://github.com/vimeo/psalm/pull/8722#discussion_r1027151708
---
 stubs/Reflection.phpstub | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stubs/Reflection.phpstub b/stubs/Reflection.phpstub
index cc6b8477002..166e2a67768 100644
--- a/stubs/Reflection.phpstub
+++ b/stubs/Reflection.phpstub
@@ -446,7 +446,7 @@ class ReflectionFunction extends ReflectionFunctionAbstract
 class ReflectionProperty implements Reflector
 {
     /**
-     * @var non-empty-string
+     * @var string
      * @readonly
      */
     public $name;