Regression test

Author: ondrejmirtes

.github/workflows/other-tests.yml

@@ -270,6 +270,13 @@ jobs:
               cd e2e/bug7308
               composer install
               ../../phpstan analyse -c app/phpstan.neon
+          - php-version: 8.1
+            ini-values: memory_limit=256M
+            operating-system: ubuntu-latest
+            script: |
+              cd e2e/bug3634
+              composer install
+              ../../phpstan analyse -c app/phpstan.neon
     steps:
       - name: "Checkout"
         uses: actions/checkout@v3

e2e/bug3634/.gitignore

@@ -0,0 +1 @@
+/vendor

e2e/bug3634/app/phpstan.neon

@@ -0,0 +1,4 @@
+parameters:
+    level: 5
+    paths:
+        - src/

e2e/bug3634/app/src/MyApp.php

@@ -0,0 +1,7 @@
+<?php
+
+class MyApp  {
+	public function __construct(HttpResponse  $response) {
+		$response->deleteCookie('foo');
+	}
+}

e2e/bug3634/composer-classes/HttpResponse.php

@@ -0,0 +1,27 @@
+<?php
+
+class HttpResponse
+{
+	/**
+	 * @param string      $name    The name of the cookie
+	 * @param string|null $value   the value of the cookie, a empty value to delete the cookie
+	 * @param array       $options Different cookie Options. Supported keys are:
+	 *                             "expires" int|string|\DateTimeInterface The time the cookie expires
+	 *                             "path" string                           The path on the server in which the cookie will be available on
+	 *                             "domain" string|null                    The domain that the cookie is available to
+	 *                             "secure" bool                           Whether the cookie should only be transmitted over a secure HTTPS connection from the client
+	 *                             "httponly" bool                         Whether the cookie will be made accessible only through the HTTP protocol
+	 *                             "samesite" string|null                  Whether the cookie will be available for cross-site requests
+	 *                             "raw" bool                              Whether the cookie value should be sent with no url encoding
+	 *
+	 * @throws \InvalidArgumentException
+	 */
+	public function sendCookie($name, $value, array $options = [])
+	{
+	}
+
+	public function deleteCookie(string $name)
+	{
+		$this->sendCookie($name, '');
+	}
+}

e2e/bug3634/composer.json

@@ -0,0 +1,7 @@
+{
+	"autoload": {
+		"classmap": [
+			"composer-classes/"
+		]
+	}
+}