Suppress irrelevant Psalm issue

We're not defining this property to use it, we're defining it to suppress PHP deprecation warning
vimeo · Dec 10, 2022 · d19759c · d19759c
1 parent 94003a3
commit d19759c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Psalm/Internal/LanguageServer/LanguageServer.php b/src/Psalm/Internal/LanguageServer/LanguageServer.php
@@ -111,6 +111,7 @@ class LanguageServer extends Dispatcher
 
     /**
      * This should actually be a private property on `parent`
+     * @psalm-suppress UnusedProperty
      * @var JsonMapper
      */
     protected $mapper;