more asserts

staabm · staabm · commit 00ddb879db3a · 2026-03-23T12:04:28.000+01:00
diff --git a/tests/PHPStan/Analyser/nsrt/bug-9961.php b/tests/PHPStan/Analyser/nsrt/bug-9961.php
@@ -28,6 +28,8 @@ public function sayHello(Ia|Ic $a): mixed
 			throw new \Exception;
 		}
 
+		assertType('(Bug9961\A&T of T of Bug9961\Ia&Bug9961\Ib (method Bug9961\HelloWorld::sayHello(), argument) (method Bug9961\HelloWorld::sayHello(), argument))|T of Bug9961\Ic&Bug9961\Id (method Bug9961\HelloWorld::sayHello(), argument)', $a);
+
 		return $a;
 	}
 }

Original file line number	Diff line number	Diff line change
`@@ -28,6 +28,8 @@ public function sayHello(Ia\|Ic $a): mixed`
`28`	`28`	`throw new \Exception;`
`29`	`29`	`}`
`30`	`30`
	`31`	`+ assertType('(Bug9961\A&T of T of Bug9961\Ia&Bug9961\Ib (method Bug9961\HelloWorld::sayHello(), argument) (method Bug9961\HelloWorld::sayHello(), argument))\|T of Bug9961\Ic&Bug9961\Id (method Bug9961\HelloWorld::sayHello(), argument)', $a);`
	`32`	`+`
`31`	`33`	`return $a;`
`32`	`34`	`}`
`33`	`35`	`}`