From bdf447ef6d60cb3f09dc577968080569d72622eb Mon Sep 17 00:00:00 2001
From: Vincent Langlet <vincentlanglet@hotmail.fr>
Date: Sat, 28 Feb 2026 17:32:15 +0100
Subject: [PATCH] Add non regression test

---
 tests/PHPStan/Analyser/nsrt/pr-5108.php | 43 +++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 tests/PHPStan/Analyser/nsrt/pr-5108.php

diff --git a/tests/PHPStan/Analyser/nsrt/pr-5108.php b/tests/PHPStan/Analyser/nsrt/pr-5108.php
new file mode 100644
index 0000000000..e79417b618
--- /dev/null
+++ b/tests/PHPStan/Analyser/nsrt/pr-5108.php
@@ -0,0 +1,43 @@
+<?php declare(strict_types = 1);
+
+namespace Pr5108;
+
+use function PHPStan\Testing\assertType;
+
+class A
+{
+}
+
+interface I
+{
+	function method(): void;
+}
+
+class Testing
+{
+	/**
+	 * @param A|null $arg
+	 * @param-out ($arg is null ? A&I : A) $arg
+	 */
+	public static function testMethod(?A &$arg = null): void
+	{
+		if ($arg === null) {
+			$arg = new A();
+		}
+	}
+
+	public function doTest(A $a): void
+	{
+		Testing::testMethod($a);
+		assertType('Pr5108\A', $a);
+
+		$b = null;
+		Testing::testMethod($b);
+		assertType('Pr5108\A&Pr5108\I', $b);
+
+		$d = $a->getFoo();
+		assertType('*ERROR*', $d);
+		Testing::testMethod($d);
+		assertType('Pr5108\A', $d);
+	}
+}