Improve internal typing for sabre/event promises

psalm.xml.dist

@@ -23,6 +23,10 @@
         <class name="LogicException"/>
     </ignoreExceptions>
 
+    <stubs>
+        <file name="src/Psalm/Internal/Stubs/SabreEvent.php"/>
+    </stubs>
+
     <issueHandlers>
         <MisplacedRequiredParam errorLevel="suppress"/>
         <PossiblyNullOperand errorLevel="suppress"/>

src/Psalm/Internal/LanguageServer/LanguageServer.php

@@ -173,7 +173,7 @@ class LanguageServer extends AdvancedJsonRpc\Dispatcher
      * @param int|null $processId The process Id of the parent process that started the server.
      * Is null if the process has not been started by another process. If the parent process is
      * not alive then the server should exit (see exit notification) its process.
-     * @return Promise <InitializeResult>
+     * @return Promise<InitializeResult>
      * @psalm-suppress PossiblyUnusedMethod
      */
     public function initialize(

src/Psalm/Internal/LanguageServer/Server/TextDocument.php

@@ -171,7 +171,7 @@ class TextDocument
      *
      * @param TextDocumentIdentifier $textDocument The text document
      * @param Position $position The position inside the text document
-     * @return Promise <Location|Location[]>
+     * @return Promise<Location|Hover>
      */
     public function definition(TextDocumentIdentifier $textDocument, Position $position): Promise
     {
@@ -223,7 +223,7 @@ class TextDocument
      *
      * @param TextDocumentIdentifier $textDocument The text document
      * @param Position $position The position inside the text document
-     * @return Promise <Hover>
+     * @return Promise<Hover>
      */
     public function hover(TextDocumentIdentifier $textDocument, Position $position): Promise
     {
@@ -275,7 +275,7 @@ class TextDocument
      *
      * @param TextDocumentIdentifier The text document
      * @param Position $position The position
-     * @return Promise <CompletionItem[]|CompletionList>
+     * @return Promise<CompletionItem[]|CompletionList>
      */
     public function completion(TextDocumentIdentifier $textDocument, Position $position): Promise
     {

src/Psalm/Internal/Stubs/SabreEvent.php

@@ -0,0 +1,20 @@
+<?php
+
+namespace Sabre\Event;
+
+/**
+ * @template TReturn
+ * @param callable():\Generator<mixed, mixed, mixed, TReturn> $gen
+ * @return Promise<TReturn>
+ */
+function coroutine(callable $gen) : Promise {}
+
+/**
+ * @template TReturn
+ */
+class Promise {
+    /**
+     * @return TReturn
+     */
+    function wait() {}
+}

src/Psalm/Type/Atomic/TNamedObject.php

@@ -57,9 +57,6 @@ class TNamedObject extends Atomic
      */
     public function toNamespacedString($namespace, array $aliased_classes, $this_class, $use_phpdoc_format)
     {
-        $class_parts = explode('\\', $this->value);
-        $class_name = array_pop($class_parts);
-
         $intersection_types = $this->getNamespacedIntersectionTypes(
             $namespace,
             $aliased_classes,
@@ -71,8 +68,12 @@ class TNamedObject extends Atomic
             return 'self' . $intersection_types;
         }
 
-        if ($namespace && preg_match('/^' . preg_quote($namespace) . '\\\\' . $class_name . '$/i', $this->value)) {
-            return $class_name . $intersection_types;
+        if ($namespace && stripos($this->value, $namespace . '\\') === 0) {
+            return preg_replace(
+                '/^' . preg_quote($namespace . '\\') . '/i',
+                '',
+                $this->value
+            ) . $intersection_types;
         }
 
         if (!$namespace && stripos($this->value, '\\') === false) {