Convert bug-14550 test from NSRT to AnalyserIntegrationTest

Since this is a crash bug, an AnalyserIntegrationTest is more appropriate
than an NSRT test. The test verifies the analysis completes without
crashing on first-class callables in various TypeSpecifier code paths.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

tests/PHPStan/Analyser/AnalyserIntegrationTest.php

@@ -1550,6 +1550,13 @@ public function testBug14542(): void
 		$this->assertNoErrors($errors);
 	}
 
+	public function testBug14550(): void
+	{
+		// crash
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-14550.php');
+		$this->assertNotEmpty($errors);
+	}
+
 	/**
 	 * @param string[]|null $allAnalysedFiles
 	 * @return list<Error>

tests/PHPStan/Analyser/nsrt/bug-14550.php tests/PHPStan/Analyser/data/bug-14550.phptests/PHPStan/Analyser/nsrt/bug-14550.php renamed to tests/PHPStan/Analyser/data/bug-14550.php

@@ -4,157 +4,127 @@
 
 namespace Bug14550;
 
-use function PHPStan\Testing\assertType;
-
-// Standalone assignments trigger TypeSpecifier via NodeScopeResolver null-context call
 function testArrayKeyFirstAssign(): void
 {
 	$fn = array_key_first(...);
-	assertType('Closure(array): (int|string|null)', $fn);
 }
 
 function testArrayKeyLastAssign(): void
 {
 	$fn = array_key_last(...);
-	assertType('Closure(array): (int|string|null)', $fn);
 }
 
 function testArrayRandAssign(): void
 {
 	$fn = array_rand(...);
-	assertType('(Closure(non-empty-array): (int|string))|(Closure(non-empty-array, int<1, max>): (array<int, int|string>|int|string))', $fn);
 }
 
 function testCountMinusOneAssign(): void
 {
 	$idx = count(...) - 1;
-	assertType('Closure(array|Countable, 0|1=): int<0, max>', count(...));
 }
 
-// array_search guard needs true context, so it must be in a condition
 function testArraySearchInCondition(): void
 {
 	if ($key = array_search(...)) {
-		assertType('Closure(mixed, array, bool=): (int|string|false)', $key);
 	}
 }
 
-// Comparison guards in TypeSpecifier (Smaller/SmallerOrEqual)
 function testCountInComparisons(): void
 {
 	if (count(...) < 1) {}
 	if (0 < count(...)) {}
-	assertType('Closure(array|Countable, 0|1=): int<0, max>', count(...));
 }
 
 function testSizeofInComparisons(): void
 {
 	if (sizeof(...) < 1) {}
 	if (0 < sizeof(...)) {}
-	assertType('Closure(array|Countable, int=): int', sizeof(...));
 }
 
 function testCountMinusOneInComparison(): void
 {
 	$i = 0;
 	if ($i < count(...) - 1) {}
-	assertType('Closure(array|Countable, 0|1=): int<0, max>', count(...));
 }
 
 function testStrlenInComparisons(): void
 {
 	if (strlen(...) < 1) {}
 	if (0 < strlen(...)) {}
-	assertType('Closure(string): int<0, max>', strlen(...));
 }
 
 function testMbStrlenInComparisons(): void
 {
 	if (mb_strlen(...) < 1) {}
 	if (0 < mb_strlen(...)) {}
-	assertType('Closure(string, string|null=): int<0, max>', mb_strlen(...));
 }
 
 function testPregMatchInComparisons(): void
 {
 	if (preg_match(...) < 1) {}
 	if (0 < preg_match(...)) {}
-	assertType('Closure(string, string, array<string>|null=, TFlags=, int=): (0|1|false)', preg_match(...));
 }
 
-// Identical/NotIdentical guards in resolveNormalizedIdentical
 function testCountIdentical(): void
 {
 	if (count(...) === 0) {}
-	assertType('Closure(array|Countable, 0|1=): int<0, max>', count(...));
 }
 
 function testStrlenIdentical(): void
 {
 	if (strlen(...) === 0) {}
 	if (mb_strlen(...) === 0) {}
-	assertType('Closure(string): int<0, max>', strlen(...));
 }
 
 function testArrayKeyFirstNullComparison(): void
 {
 	if (array_key_first(...) !== null) {}
 	if (array_key_last(...) !== null) {}
-	assertType('Closure(array): (int|string|null)', array_key_first(...));
 }
 
 function testGetClassIdentical(): void
 {
 	if (get_class(...) === 'stdClass') {}
 	if (get_debug_type(...) === 'string') {}
-	assertType('Closure(object=): class-string', get_class(...));
 }
 
 function testStringFuncIdentical(): void
 {
 	if (strtolower(...) === 'test') {}
-	assertType('Closure(string): lowercase-string', strtolower(...));
 }
 
-// String equality guards in specifyTypesForConstantStringBinaryExpression
 function testGettypeEquality(): void
 {
 	if (gettype(...) === 'string') {}
 	if (gettype(...) == 'string') {}
-	assertType('Closure(mixed): string', gettype(...));
 }
 
 function testGetClassEquality(): void
 {
 	if (get_class(...) == 'stdClass') {}
 	if (get_debug_type(...) == 'string') {}
-	assertType('Closure(object=): class-string', get_class(...));
 }
 
 function testGetParentClassEquality(): void
 {
 	if (get_parent_class(...) === 'stdClass') {}
-	assertType('Closure(object|string=): (class-string|false)', get_parent_class(...));
 }
 
 function testTrimEquality(): void
 {
 	if (trim(...) !== '') {}
 	if (ltrim(...) !== '') {}
 	if (rtrim(...) !== '') {}
-	assertType('Closure(string, string=): string', trim(...));
 }
 
-// NodeScopeResolver guards
 function testArrayKeysInForeach(): void
 {
 	foreach (array_keys(...) as $key) {}
-	assertType('Closure(array, mixed=, bool=): list<int|string>', array_keys(...));
 }
 
 function testCountInForLoop(): void
 {
 	for ($i = 0; $i < count(...); $i++) {}
 	for ($i = 0; count(...) > $i; $i++) {}
-	assertType('Closure(array|Countable, 0|1=): int<0, max>', count(...));
 }