[HttpKernel] allow narrow type of not nullable getResponse when hasResponse has been called

shyim · nicolas-grekas · commit 69f2f4814849 · 2024-10-09T17:02:33.000+02:00
diff --git a/src/Symfony/Component/HttpKernel/Event/RequestEvent.php b/src/Symfony/Component/HttpKernel/Event/RequestEvent.php
@@ -46,6 +46,8 @@ public function setResponse(Response $response): void
 
     /**
      * Returns whether a response was set.
+     *
+     * @psalm-assert-if-true !null $this->getResponse()
      */
     public function hasResponse(): bool
     {

Original file line number	Diff line number	Diff line change
`@@ -46,6 +46,8 @@ public function setResponse(Response $response): void`
`46`	`46`
`47`	`47`	`/**`
`48`	`48`	`* Returns whether a response was set.`
	`49`	`+ *`
	`50`	`+ * @psalm-assert-if-true !null $this->getResponse()`
`49`	`51`	`*/`
`50`	`52`	`public function hasResponse(): bool`
`51`	`53`	`{`