diff --git a/src/Analyser/ScopeOps.php b/src/Analyser/ScopeOps.php
index 3fbf786c82..39562fe16f 100644
--- a/src/Analyser/ScopeOps.php
+++ b/src/Analyser/ScopeOps.php
@@ -577,9 +577,25 @@ public static function invalidateExpressionEntries(
 	{
 		$invalidated = false;
 
+		// Mirrors the compositional-key shortcut in shouldInvalidateExpression(): outside
+		// the carve-outs listed there, a key that does not contain the invalidated key as
+		// a substring cannot belong to an expression containing the invalidated one, so
+		// the much more expensive per-expression check can be skipped without being called.
+		$canUseKeyPrefilter = $exprStringToInvalidate !== '$this'
+			&& !str_contains($exprStringToInvalidate, '__phpstan')
+			&& !str_contains($exprStringToInvalidate, '/*');
+
 		foreach ($expressionTypes as $exprString => $exprTypeHolder) {
+			$exprString = (string) $exprString;
+			if (
+				$canUseKeyPrefilter
+				&& !str_contains($exprString, '__phpstan')
+				&& !str_contains($exprString, $exprStringToInvalidate)
+			) {
+				continue;
+			}
 			$exprExpr = $exprTypeHolder->getExpr();
-			if (!self::shouldInvalidateExpression($scope, $exprPrinter, $exprStringToInvalidate, $expressionToInvalidate, $exprExpr, (string) $exprString, $requireMoreCharacters, $invalidatingClass)) {
+			if (!self::shouldInvalidateExpression($scope, $exprPrinter, $exprStringToInvalidate, $expressionToInvalidate, $exprExpr, $exprString, $requireMoreCharacters, $invalidatingClass)) {
 				continue;
 			}
 
@@ -593,13 +609,43 @@ public static function invalidateExpressionEntries(
 			if (count($holders) === 0) {
 				continue;
 			}
-			$firstExpr = $holders[array_key_first($holders)]->getTypeHolder()->getExpr();
-			if (self::shouldInvalidateExpression($scope, $exprPrinter, $exprStringToInvalidate, $expressionToInvalidate, $firstExpr, self::nodeKey($firstExpr, $exprPrinter), $requireMoreCharacters, $invalidatingClass)) {
-				$invalidated = true;
-				continue;
+			// Entries are keyed by the printed form of their target expression (see the
+			// ConditionalExpressionHolder creation sites), so the key doubles as the
+			// target's node key and there is no need to re-print the expression here.
+			$conditionalExprString = (string) $conditionalExprString; // @phpstan-ignore cast.useless
+			if (
+				!$canUseKeyPrefilter
+				|| str_contains($conditionalExprString, '__phpstan')
+				|| str_contains($conditionalExprString, $exprStringToInvalidate)
+			) {
+				$firstExpr = $holders[array_key_first($holders)]->getTypeHolder()->getExpr();
+				if (self::shouldInvalidateExpression($scope, $exprPrinter, $exprStringToInvalidate, $expressionToInvalidate, $firstExpr, $conditionalExprString, $requireMoreCharacters, $invalidatingClass)) {
+					$invalidated = true;
+					continue;
+				}
 			}
-			$filteredHolders = [];
+			// Lazily materialized: stays null while every holder seen so far is kept (so far
+			// always the first $keptCount ones), so the common no-drop case reuses the
+			// original array instead of rebuilding it holder by holder.
+			$filteredHolders = null;
+			$keptCount = 0;
 			foreach ($holders as $key => $holder) {
+				// The holder's array key (ConditionalExpressionHolder::getKey()) embeds every
+				// condition's expression key verbatim, so when the invalidated key does not
+				// occur in it, none of the conditions can contain the invalidated expression
+				// and the holder can be kept without inspecting its conditions.
+				if (
+					$canUseKeyPrefilter
+					&& !str_contains((string) $key, '__phpstan')
+					&& !str_contains((string) $key, $exprStringToInvalidate)
+				) {
+					if ($filteredHolders !== null) {
+						$filteredHolders[$key] = $holder;
+					} else {
+						$keptCount++;
+					}
+					continue;
+				}
 				$shouldKeep = true;
 				$conditionalTypeHolders = $holder->getConditionExpressionTypeHolders();
 				foreach ($conditionalTypeHolders as $conditionalTypeHolderExprString => $conditionalTypeHolder) {
@@ -609,11 +655,20 @@ public static function invalidateExpressionEntries(
 						break;
 					}
 				}
-				if (!$shouldKeep) {
+				if ($shouldKeep) {
+					if ($filteredHolders !== null) {
+						$filteredHolders[$key] = $holder;
+					} else {
+						$keptCount++;
+					}
 					continue;
 				}
 
-				$filteredHolders[$key] = $holder;
+				$filteredHolders ??= array_slice($holders, 0, $keptCount, true);
+			}
+			if ($filteredHolders === null) {
+				$newConditionalExpressions[$conditionalExprString] = $holders;
+				continue;
 			}
 			if (count($filteredHolders) <= 0) {
 				continue;
@@ -805,6 +860,12 @@ public static function buildTypeSpecifications(array $sureTypes, array $sureNotT
 	public static function matchConditionalExpressions(array $conditionalExpressions, array $specifiedExpressions): array
 	{
 		$conditions = [];
+		if ($specifiedExpressions === []) {
+			// Every holder has at least one condition (enforced by the ConditionalExpressionHolder
+			// constructor) and both matching passes require all of a holder's conditions to be
+			// among the specified expressions, so nothing can ever match.
+			return [$conditions, $specifiedExpressions];
+		}
 		$originallySpecifiedExprStrings = $specifiedExpressions;
 		$prevSpecifiedCount = -1;
 		while (count($specifiedExpressions) !== $prevSpecifiedCount) {
diff --git a/src/Turbo/TurboExtensionEnabler.php b/src/Turbo/TurboExtensionEnabler.php
index 49703b18ba..695eb310cd 100644
--- a/src/Turbo/TurboExtensionEnabler.php
+++ b/src/Turbo/TurboExtensionEnabler.php
@@ -56,7 +56,7 @@ final class TurboExtensionEnabler
 	 * version is the short SHA of the last commit touching turbo-ext/src/,
 	 * enforced by the phar.yml turbo-version job.
 	 */
-	public const EXPECTED_EXTENSION_VERSION = 'e54aceb';
+	public const EXPECTED_EXTENSION_VERSION = '0064348';
 
 	private static bool $typeCombinatorCacheEnabled = false;
 
diff --git a/tests/bench/data/bug-14972.php b/tests/bench/data/bug-14972.php
new file mode 100644
index 0000000000..a7f518f64f
--- /dev/null
+++ b/tests/bench/data/bug-14972.php
@@ -0,0 +1,806 @@
+<?php
+
+namespace Bug14972Bench;
+
+function h(array $a): void {
+	$v1 = $a[1];
+	$v2 = $a[2];
+	$v3 = $a[3];
+	$v4 = $a[4];
+	$v5 = $a[5];
+	$v6 = $a[6];
+	$v7 = $a[7];
+	$v8 = $a[8];
+	$v9 = $a[9];
+	$v10 = $a[10];
+	$v11 = $a[11];
+	$v12 = $a[12];
+	$v13 = $a[13];
+	$v14 = $a[14];
+	$v15 = $a[15];
+	$v16 = $a[16];
+	$v17 = $a[17];
+	$v18 = $a[18];
+	$v19 = $a[19];
+	$v20 = $a[20];
+	$v21 = $a[21];
+	$v22 = $a[22];
+	$v23 = $a[23];
+	$v24 = $a[24];
+	$v25 = $a[25];
+	$v26 = $a[26];
+	$v27 = $a[27];
+	$v28 = $a[28];
+	$v29 = $a[29];
+	$v30 = $a[30];
+	$v31 = $a[31];
+	$v32 = $a[32];
+	$v33 = $a[33];
+	$v34 = $a[34];
+	$v35 = $a[35];
+	$v36 = $a[36];
+	$v37 = $a[37];
+	$v38 = $a[38];
+	$v39 = $a[39];
+	$v40 = $a[40];
+	$v41 = $a[41];
+	$v42 = $a[42];
+	$v43 = $a[43];
+	$v44 = $a[44];
+	$v45 = $a[45];
+	$v46 = $a[46];
+	$v47 = $a[47];
+	$v48 = $a[48];
+	$v49 = $a[49];
+	$v50 = $a[50];
+	$v51 = $a[51];
+	$v52 = $a[52];
+	$v53 = $a[53];
+	$v54 = $a[54];
+	$v55 = $a[55];
+	$v56 = $a[56];
+	$v57 = $a[57];
+	$v58 = $a[58];
+	$v59 = $a[59];
+	$v60 = $a[60];
+	$v61 = $a[61];
+	$v62 = $a[62];
+	$v63 = $a[63];
+	$v64 = $a[64];
+	$v65 = $a[65];
+	$v66 = $a[66];
+	$v67 = $a[67];
+	$v68 = $a[68];
+	$v69 = $a[69];
+	$v70 = $a[70];
+	$v71 = $a[71];
+	$v72 = $a[72];
+	$v73 = $a[73];
+	$v74 = $a[74];
+	$v75 = $a[75];
+	$v76 = $a[76];
+	$v77 = $a[77];
+	$v78 = $a[78];
+	$v79 = $a[79];
+	$v80 = $a[80];
+	$v81 = $a[81];
+	$v82 = $a[82];
+	$v83 = $a[83];
+	$v84 = $a[84];
+	$v85 = $a[85];
+	$v86 = $a[86];
+	$v87 = $a[87];
+	$v88 = $a[88];
+	$v89 = $a[89];
+	$v90 = $a[90];
+	$v91 = $a[91];
+	$v92 = $a[92];
+	$v93 = $a[93];
+	$v94 = $a[94];
+	$v95 = $a[95];
+	$v96 = $a[96];
+	$v97 = $a[97];
+	$v98 = $a[98];
+	$v99 = $a[99];
+	$v100 = $a[100];
+	$v101 = $a[101];
+	$v102 = $a[102];
+	$v103 = $a[103];
+	$v104 = $a[104];
+	$v105 = $a[105];
+	$v106 = $a[106];
+	$v107 = $a[107];
+	$v108 = $a[108];
+	$v109 = $a[109];
+	$v110 = $a[110];
+	$v111 = $a[111];
+	$v112 = $a[112];
+	$v113 = $a[113];
+	$v114 = $a[114];
+	$v115 = $a[115];
+	$v116 = $a[116];
+	$v117 = $a[117];
+	$v118 = $a[118];
+	$v119 = $a[119];
+	$v120 = $a[120];
+	$v121 = $a[121];
+	$v122 = $a[122];
+	$v123 = $a[123];
+	$v124 = $a[124];
+	$v125 = $a[125];
+	$v126 = $a[126];
+	$v127 = $a[127];
+	$v128 = $a[128];
+	$v129 = $a[129];
+	$v130 = $a[130];
+	$v131 = $a[131];
+	$v132 = $a[132];
+	$v133 = $a[133];
+	$v134 = $a[134];
+	$v135 = $a[135];
+	$v136 = $a[136];
+	$v137 = $a[137];
+	$v138 = $a[138];
+	$v139 = $a[139];
+	$v140 = $a[140];
+	$v141 = $a[141];
+	$v142 = $a[142];
+	$v143 = $a[143];
+	$v144 = $a[144];
+	$v145 = $a[145];
+	$v146 = $a[146];
+	$v147 = $a[147];
+	$v148 = $a[148];
+	$v149 = $a[149];
+	$v150 = $a[150];
+	$v151 = $a[151];
+	$v152 = $a[152];
+	$v153 = $a[153];
+	$v154 = $a[154];
+	$v155 = $a[155];
+	$v156 = $a[156];
+	$v157 = $a[157];
+	$v158 = $a[158];
+	$v159 = $a[159];
+	$v160 = $a[160];
+	$v161 = $a[161];
+	$v162 = $a[162];
+	$v163 = $a[163];
+	$v164 = $a[164];
+	$v165 = $a[165];
+	$v166 = $a[166];
+	$v167 = $a[167];
+	$v168 = $a[168];
+	$v169 = $a[169];
+	$v170 = $a[170];
+	$v171 = $a[171];
+	$v172 = $a[172];
+	$v173 = $a[173];
+	$v174 = $a[174];
+	$v175 = $a[175];
+	$v176 = $a[176];
+	$v177 = $a[177];
+	$v178 = $a[178];
+	$v179 = $a[179];
+	$v180 = $a[180];
+	$v181 = $a[181];
+	$v182 = $a[182];
+	$v183 = $a[183];
+	$v184 = $a[184];
+	$v185 = $a[185];
+	$v186 = $a[186];
+	$v187 = $a[187];
+	$v188 = $a[188];
+	$v189 = $a[189];
+	$v190 = $a[190];
+	$v191 = $a[191];
+	$v192 = $a[192];
+	$v193 = $a[193];
+	$v194 = $a[194];
+	$v195 = $a[195];
+	$v196 = $a[196];
+	$v197 = $a[197];
+	$v198 = $a[198];
+	$v199 = $a[199];
+	$v200 = $a[200];
+	$v201 = $a[201];
+	$v202 = $a[202];
+	$v203 = $a[203];
+	$v204 = $a[204];
+	$v205 = $a[205];
+	$v206 = $a[206];
+	$v207 = $a[207];
+	$v208 = $a[208];
+	$v209 = $a[209];
+	$v210 = $a[210];
+	$v211 = $a[211];
+	$v212 = $a[212];
+	$v213 = $a[213];
+	$v214 = $a[214];
+	$v215 = $a[215];
+	$v216 = $a[216];
+	$v217 = $a[217];
+	$v218 = $a[218];
+	$v219 = $a[219];
+	$v220 = $a[220];
+	$v221 = $a[221];
+	$v222 = $a[222];
+	$v223 = $a[223];
+	$v224 = $a[224];
+	$v225 = $a[225];
+	$v226 = $a[226];
+	$v227 = $a[227];
+	$v228 = $a[228];
+	$v229 = $a[229];
+	$v230 = $a[230];
+	$v231 = $a[231];
+	$v232 = $a[232];
+	$v233 = $a[233];
+	$v234 = $a[234];
+	$v235 = $a[235];
+	$v236 = $a[236];
+	$v237 = $a[237];
+	$v238 = $a[238];
+	$v239 = $a[239];
+	$v240 = $a[240];
+	$v241 = $a[241];
+	$v242 = $a[242];
+	$v243 = $a[243];
+	$v244 = $a[244];
+	$v245 = $a[245];
+	$v246 = $a[246];
+	$v247 = $a[247];
+	$v248 = $a[248];
+	$v249 = $a[249];
+	$v250 = $a[250];
+	$v251 = $a[251];
+	$v252 = $a[252];
+	$v253 = $a[253];
+	$v254 = $a[254];
+	$v255 = $a[255];
+	$v256 = $a[256];
+	$v257 = $a[257];
+	$v258 = $a[258];
+	$v259 = $a[259];
+	$v260 = $a[260];
+	$v261 = $a[261];
+	$v262 = $a[262];
+	$v263 = $a[263];
+	$v264 = $a[264];
+	$v265 = $a[265];
+	$v266 = $a[266];
+	$v267 = $a[267];
+	$v268 = $a[268];
+	$v269 = $a[269];
+	$v270 = $a[270];
+	$v271 = $a[271];
+	$v272 = $a[272];
+	$v273 = $a[273];
+	$v274 = $a[274];
+	$v275 = $a[275];
+	$v276 = $a[276];
+	$v277 = $a[277];
+	$v278 = $a[278];
+	$v279 = $a[279];
+	$v280 = $a[280];
+	$v281 = $a[281];
+	$v282 = $a[282];
+	$v283 = $a[283];
+	$v284 = $a[284];
+	$v285 = $a[285];
+	$v286 = $a[286];
+	$v287 = $a[287];
+	$v288 = $a[288];
+	$v289 = $a[289];
+	$v290 = $a[290];
+	$v291 = $a[291];
+	$v292 = $a[292];
+	$v293 = $a[293];
+	$v294 = $a[294];
+	$v295 = $a[295];
+	$v296 = $a[296];
+	$v297 = $a[297];
+	$v298 = $a[298];
+	$v299 = $a[299];
+	$v300 = $a[300];
+	$v301 = $a[301];
+	$v302 = $a[302];
+	$v303 = $a[303];
+	$v304 = $a[304];
+	$v305 = $a[305];
+	$v306 = $a[306];
+	$v307 = $a[307];
+	$v308 = $a[308];
+	$v309 = $a[309];
+	$v310 = $a[310];
+	$v311 = $a[311];
+	$v312 = $a[312];
+	$v313 = $a[313];
+	$v314 = $a[314];
+	$v315 = $a[315];
+	$v316 = $a[316];
+	$v317 = $a[317];
+	$v318 = $a[318];
+	$v319 = $a[319];
+	$v320 = $a[320];
+	$v321 = $a[321];
+	$v322 = $a[322];
+	$v323 = $a[323];
+	$v324 = $a[324];
+	$v325 = $a[325];
+	$v326 = $a[326];
+	$v327 = $a[327];
+	$v328 = $a[328];
+	$v329 = $a[329];
+	$v330 = $a[330];
+	$v331 = $a[331];
+	$v332 = $a[332];
+	$v333 = $a[333];
+	$v334 = $a[334];
+	$v335 = $a[335];
+	$v336 = $a[336];
+	$v337 = $a[337];
+	$v338 = $a[338];
+	$v339 = $a[339];
+	$v340 = $a[340];
+	$v341 = $a[341];
+	$v342 = $a[342];
+	$v343 = $a[343];
+	$v344 = $a[344];
+	$v345 = $a[345];
+	$v346 = $a[346];
+	$v347 = $a[347];
+	$v348 = $a[348];
+	$v349 = $a[349];
+	$v350 = $a[350];
+	$v351 = $a[351];
+	$v352 = $a[352];
+	$v353 = $a[353];
+	$v354 = $a[354];
+	$v355 = $a[355];
+	$v356 = $a[356];
+	$v357 = $a[357];
+	$v358 = $a[358];
+	$v359 = $a[359];
+	$v360 = $a[360];
+	$v361 = $a[361];
+	$v362 = $a[362];
+	$v363 = $a[363];
+	$v364 = $a[364];
+	$v365 = $a[365];
+	$v366 = $a[366];
+	$v367 = $a[367];
+	$v368 = $a[368];
+	$v369 = $a[369];
+	$v370 = $a[370];
+	$v371 = $a[371];
+	$v372 = $a[372];
+	$v373 = $a[373];
+	$v374 = $a[374];
+	$v375 = $a[375];
+	$v376 = $a[376];
+	$v377 = $a[377];
+	$v378 = $a[378];
+	$v379 = $a[379];
+	$v380 = $a[380];
+	$v381 = $a[381];
+	$v382 = $a[382];
+	$v383 = $a[383];
+	$v384 = $a[384];
+	$v385 = $a[385];
+	$v386 = $a[386];
+	$v387 = $a[387];
+	$v388 = $a[388];
+	$v389 = $a[389];
+	$v390 = $a[390];
+	$v391 = $a[391];
+	$v392 = $a[392];
+	$v393 = $a[393];
+	$v394 = $a[394];
+	$v395 = $a[395];
+	$v396 = $a[396];
+	$v397 = $a[397];
+	$v398 = $a[398];
+	$v399 = $a[399];
+	$v400 = $a[400];
+	$v401 = $a[401];
+	$v402 = $a[402];
+	$v403 = $a[403];
+	$v404 = $a[404];
+	$v405 = $a[405];
+	$v406 = $a[406];
+	$v407 = $a[407];
+	$v408 = $a[408];
+	$v409 = $a[409];
+	$v410 = $a[410];
+	$v411 = $a[411];
+	$v412 = $a[412];
+	$v413 = $a[413];
+	$v414 = $a[414];
+	$v415 = $a[415];
+	$v416 = $a[416];
+	$v417 = $a[417];
+	$v418 = $a[418];
+	$v419 = $a[419];
+	$v420 = $a[420];
+	$v421 = $a[421];
+	$v422 = $a[422];
+	$v423 = $a[423];
+	$v424 = $a[424];
+	$v425 = $a[425];
+	$v426 = $a[426];
+	$v427 = $a[427];
+	$v428 = $a[428];
+	$v429 = $a[429];
+	$v430 = $a[430];
+	$v431 = $a[431];
+	$v432 = $a[432];
+	$v433 = $a[433];
+	$v434 = $a[434];
+	$v435 = $a[435];
+	$v436 = $a[436];
+	$v437 = $a[437];
+	$v438 = $a[438];
+	$v439 = $a[439];
+	$v440 = $a[440];
+	$v441 = $a[441];
+	$v442 = $a[442];
+	$v443 = $a[443];
+	$v444 = $a[444];
+	$v445 = $a[445];
+	$v446 = $a[446];
+	$v447 = $a[447];
+	$v448 = $a[448];
+	$v449 = $a[449];
+	$v450 = $a[450];
+	$v451 = $a[451];
+	$v452 = $a[452];
+	$v453 = $a[453];
+	$v454 = $a[454];
+	$v455 = $a[455];
+	$v456 = $a[456];
+	$v457 = $a[457];
+	$v458 = $a[458];
+	$v459 = $a[459];
+	$v460 = $a[460];
+	$v461 = $a[461];
+	$v462 = $a[462];
+	$v463 = $a[463];
+	$v464 = $a[464];
+	$v465 = $a[465];
+	$v466 = $a[466];
+	$v467 = $a[467];
+	$v468 = $a[468];
+	$v469 = $a[469];
+	$v470 = $a[470];
+	$v471 = $a[471];
+	$v472 = $a[472];
+	$v473 = $a[473];
+	$v474 = $a[474];
+	$v475 = $a[475];
+	$v476 = $a[476];
+	$v477 = $a[477];
+	$v478 = $a[478];
+	$v479 = $a[479];
+	$v480 = $a[480];
+	$v481 = $a[481];
+	$v482 = $a[482];
+	$v483 = $a[483];
+	$v484 = $a[484];
+	$v485 = $a[485];
+	$v486 = $a[486];
+	$v487 = $a[487];
+	$v488 = $a[488];
+	$v489 = $a[489];
+	$v490 = $a[490];
+	$v491 = $a[491];
+	$v492 = $a[492];
+	$v493 = $a[493];
+	$v494 = $a[494];
+	$v495 = $a[495];
+	$v496 = $a[496];
+	$v497 = $a[497];
+	$v498 = $a[498];
+	$v499 = $a[499];
+	$v500 = $a[500];
+	$v501 = $a[501];
+	$v502 = $a[502];
+	$v503 = $a[503];
+	$v504 = $a[504];
+	$v505 = $a[505];
+	$v506 = $a[506];
+	$v507 = $a[507];
+	$v508 = $a[508];
+	$v509 = $a[509];
+	$v510 = $a[510];
+	$v511 = $a[511];
+	$v512 = $a[512];
+	$v513 = $a[513];
+	$v514 = $a[514];
+	$v515 = $a[515];
+	$v516 = $a[516];
+	$v517 = $a[517];
+	$v518 = $a[518];
+	$v519 = $a[519];
+	$v520 = $a[520];
+	$v521 = $a[521];
+	$v522 = $a[522];
+	$v523 = $a[523];
+	$v524 = $a[524];
+	$v525 = $a[525];
+	$v526 = $a[526];
+	$v527 = $a[527];
+	$v528 = $a[528];
+	$v529 = $a[529];
+	$v530 = $a[530];
+	$v531 = $a[531];
+	$v532 = $a[532];
+	$v533 = $a[533];
+	$v534 = $a[534];
+	$v535 = $a[535];
+	$v536 = $a[536];
+	$v537 = $a[537];
+	$v538 = $a[538];
+	$v539 = $a[539];
+	$v540 = $a[540];
+	$v541 = $a[541];
+	$v542 = $a[542];
+	$v543 = $a[543];
+	$v544 = $a[544];
+	$v545 = $a[545];
+	$v546 = $a[546];
+	$v547 = $a[547];
+	$v548 = $a[548];
+	$v549 = $a[549];
+	$v550 = $a[550];
+	$v551 = $a[551];
+	$v552 = $a[552];
+	$v553 = $a[553];
+	$v554 = $a[554];
+	$v555 = $a[555];
+	$v556 = $a[556];
+	$v557 = $a[557];
+	$v558 = $a[558];
+	$v559 = $a[559];
+	$v560 = $a[560];
+	$v561 = $a[561];
+	$v562 = $a[562];
+	$v563 = $a[563];
+	$v564 = $a[564];
+	$v565 = $a[565];
+	$v566 = $a[566];
+	$v567 = $a[567];
+	$v568 = $a[568];
+	$v569 = $a[569];
+	$v570 = $a[570];
+	$v571 = $a[571];
+	$v572 = $a[572];
+	$v573 = $a[573];
+	$v574 = $a[574];
+	$v575 = $a[575];
+	$v576 = $a[576];
+	$v577 = $a[577];
+	$v578 = $a[578];
+	$v579 = $a[579];
+	$v580 = $a[580];
+	$v581 = $a[581];
+	$v582 = $a[582];
+	$v583 = $a[583];
+	$v584 = $a[584];
+	$v585 = $a[585];
+	$v586 = $a[586];
+	$v587 = $a[587];
+	$v588 = $a[588];
+	$v589 = $a[589];
+	$v590 = $a[590];
+	$v591 = $a[591];
+	$v592 = $a[592];
+	$v593 = $a[593];
+	$v594 = $a[594];
+	$v595 = $a[595];
+	$v596 = $a[596];
+	$v597 = $a[597];
+	$v598 = $a[598];
+	$v599 = $a[599];
+	$v600 = $a[600];
+	$v601 = $a[601];
+	$v602 = $a[602];
+	$v603 = $a[603];
+	$v604 = $a[604];
+	$v605 = $a[605];
+	$v606 = $a[606];
+	$v607 = $a[607];
+	$v608 = $a[608];
+	$v609 = $a[609];
+	$v610 = $a[610];
+	$v611 = $a[611];
+	$v612 = $a[612];
+	$v613 = $a[613];
+	$v614 = $a[614];
+	$v615 = $a[615];
+	$v616 = $a[616];
+	$v617 = $a[617];
+	$v618 = $a[618];
+	$v619 = $a[619];
+	$v620 = $a[620];
+	$v621 = $a[621];
+	$v622 = $a[622];
+	$v623 = $a[623];
+	$v624 = $a[624];
+	$v625 = $a[625];
+	$v626 = $a[626];
+	$v627 = $a[627];
+	$v628 = $a[628];
+	$v629 = $a[629];
+	$v630 = $a[630];
+	$v631 = $a[631];
+	$v632 = $a[632];
+	$v633 = $a[633];
+	$v634 = $a[634];
+	$v635 = $a[635];
+	$v636 = $a[636];
+	$v637 = $a[637];
+	$v638 = $a[638];
+	$v639 = $a[639];
+	$v640 = $a[640];
+	$v641 = $a[641];
+	$v642 = $a[642];
+	$v643 = $a[643];
+	$v644 = $a[644];
+	$v645 = $a[645];
+	$v646 = $a[646];
+	$v647 = $a[647];
+	$v648 = $a[648];
+	$v649 = $a[649];
+	$v650 = $a[650];
+	$v651 = $a[651];
+	$v652 = $a[652];
+	$v653 = $a[653];
+	$v654 = $a[654];
+	$v655 = $a[655];
+	$v656 = $a[656];
+	$v657 = $a[657];
+	$v658 = $a[658];
+	$v659 = $a[659];
+	$v660 = $a[660];
+	$v661 = $a[661];
+	$v662 = $a[662];
+	$v663 = $a[663];
+	$v664 = $a[664];
+	$v665 = $a[665];
+	$v666 = $a[666];
+	$v667 = $a[667];
+	$v668 = $a[668];
+	$v669 = $a[669];
+	$v670 = $a[670];
+	$v671 = $a[671];
+	$v672 = $a[672];
+	$v673 = $a[673];
+	$v674 = $a[674];
+	$v675 = $a[675];
+	$v676 = $a[676];
+	$v677 = $a[677];
+	$v678 = $a[678];
+	$v679 = $a[679];
+	$v680 = $a[680];
+	$v681 = $a[681];
+	$v682 = $a[682];
+	$v683 = $a[683];
+	$v684 = $a[684];
+	$v685 = $a[685];
+	$v686 = $a[686];
+	$v687 = $a[687];
+	$v688 = $a[688];
+	$v689 = $a[689];
+	$v690 = $a[690];
+	$v691 = $a[691];
+	$v692 = $a[692];
+	$v693 = $a[693];
+	$v694 = $a[694];
+	$v695 = $a[695];
+	$v696 = $a[696];
+	$v697 = $a[697];
+	$v698 = $a[698];
+	$v699 = $a[699];
+	$v700 = $a[700];
+	$v701 = $a[701];
+	$v702 = $a[702];
+	$v703 = $a[703];
+	$v704 = $a[704];
+	$v705 = $a[705];
+	$v706 = $a[706];
+	$v707 = $a[707];
+	$v708 = $a[708];
+	$v709 = $a[709];
+	$v710 = $a[710];
+	$v711 = $a[711];
+	$v712 = $a[712];
+	$v713 = $a[713];
+	$v714 = $a[714];
+	$v715 = $a[715];
+	$v716 = $a[716];
+	$v717 = $a[717];
+	$v718 = $a[718];
+	$v719 = $a[719];
+	$v720 = $a[720];
+	$v721 = $a[721];
+	$v722 = $a[722];
+	$v723 = $a[723];
+	$v724 = $a[724];
+	$v725 = $a[725];
+	$v726 = $a[726];
+	$v727 = $a[727];
+	$v728 = $a[728];
+	$v729 = $a[729];
+	$v730 = $a[730];
+	$v731 = $a[731];
+	$v732 = $a[732];
+	$v733 = $a[733];
+	$v734 = $a[734];
+	$v735 = $a[735];
+	$v736 = $a[736];
+	$v737 = $a[737];
+	$v738 = $a[738];
+	$v739 = $a[739];
+	$v740 = $a[740];
+	$v741 = $a[741];
+	$v742 = $a[742];
+	$v743 = $a[743];
+	$v744 = $a[744];
+	$v745 = $a[745];
+	$v746 = $a[746];
+	$v747 = $a[747];
+	$v748 = $a[748];
+	$v749 = $a[749];
+	$v750 = $a[750];
+	$v751 = $a[751];
+	$v752 = $a[752];
+	$v753 = $a[753];
+	$v754 = $a[754];
+	$v755 = $a[755];
+	$v756 = $a[756];
+	$v757 = $a[757];
+	$v758 = $a[758];
+	$v759 = $a[759];
+	$v760 = $a[760];
+	$v761 = $a[761];
+	$v762 = $a[762];
+	$v763 = $a[763];
+	$v764 = $a[764];
+	$v765 = $a[765];
+	$v766 = $a[766];
+	$v767 = $a[767];
+	$v768 = $a[768];
+	$v769 = $a[769];
+	$v770 = $a[770];
+	$v771 = $a[771];
+	$v772 = $a[772];
+	$v773 = $a[773];
+	$v774 = $a[774];
+	$v775 = $a[775];
+	$v776 = $a[776];
+	$v777 = $a[777];
+	$v778 = $a[778];
+	$v779 = $a[779];
+	$v780 = $a[780];
+	$v781 = $a[781];
+	$v782 = $a[782];
+	$v783 = $a[783];
+	$v784 = $a[784];
+	$v785 = $a[785];
+	$v786 = $a[786];
+	$v787 = $a[787];
+	$v788 = $a[788];
+	$v789 = $a[789];
+	$v790 = $a[790];
+	$v791 = $a[791];
+	$v792 = $a[792];
+	$v793 = $a[793];
+	$v794 = $a[794];
+	$v795 = $a[795];
+	$v796 = $a[796];
+	$v797 = $a[797];
+	$v798 = $a[798];
+	$v799 = $a[799];
+	$v800 = $a[800];
+}
diff --git a/turbo-ext/src/ScopeOps.cpp b/turbo-ext/src/ScopeOps.cpp
index d4e30537f4..c67a7f4229 100644
--- a/turbo-ext/src/ScopeOps.cpp
+++ b/turbo-ext/src/ScopeOps.cpp
@@ -766,12 +766,28 @@ class ScopeOps
 			zend_string_equals_literal(exprStringToInvalidate, "$this"),
 		};
 
+		/* Mirrors the twin's $canUseKeyPrefilter: outside shouldInvalidate()'s
+		 * compositional-key carve-outs, a key that does not contain the
+		 * invalidated key as a substring cannot belong to an expression
+		 * containing the invalidated one, so the much more expensive
+		 * per-expression check can be skipped without being called. */
+		const bool canUseKeyPrefilter = !query.isThis
+			&& !strContains(exprStringToInvalidate, "__phpstan", sizeof("__phpstan") - 1)
+			&& !strContains(exprStringToInvalidate, "/*", 2);
+
 		bool invalidated = false;
 		zv::Arr resultExpr, resultNative; /* stay UNDEF until the first hit */
 
 		for (auto entry : expressionTypes) {
 			zend_string *key = entry.stringKeyOrNull();
 			zend_ulong idx = entry.indexKey();
+
+			if (canUseKeyPrefilter && key != NULL
+				&& !strContains(key, "__phpstan", sizeof("__phpstan") - 1)
+				&& !strContainsStr(key, exprStringToInvalidate)) {
+				continue;
+			}
+
 			zv::Ref holder = entry.value().deref();
 
 			if (UNEXPECTED(!pt_check_holder(holder.raw()))) {
@@ -813,20 +829,27 @@ class ScopeOps
 				continue;
 			}
 
-			/* first holder's type-holder expr decides whole-group invalidation */
-			{
+			/* first holder's type-holder expr decides whole-group invalidation;
+			 * entries are keyed by the printed form of their target expression
+			 * (see the ConditionalExpressionHolder creation sites), so the key
+			 * doubles as the target's node key: it feeds the same substring
+			 * gate as a prefilter and there is no need to re-print the
+			 * expression for the full check */
+			if (!canUseKeyPrefilter || key == NULL
+				|| strContains(key, "__phpstan", sizeof("__phpstan") - 1)
+				|| strContainsStr(key, exprStringToInvalidate)) {
 				zv::Ref firstHolder = (*holdersTable.begin()).value().deref();
 				if (UNEXPECTED(!firstHolder.instanceOf(pt_ce_cond_expr_holder))) {
 					zend_type_error("phpstan_turbo: expected ConditionalExpressionHolder");
 					return zv::Val();
 				}
 				zend_object *firstExpr = holderExpr(zv::ObjRef(firstHolder.asObject()).propAt(PT_CEH_PROP_TYPEHOLDER));
-				zv::Str firstKey = zv::Str::adopt(pt_node_key(firstExpr, exprPrinter));
-				if (UNEXPECTED(firstKey.isNull())) {
-					return zv::Val();
-				}
+				zend_string *entryKey = key != NULL ? key : zend_long_to_str((zend_long) idx);
 				bool failed = false;
-				bool drop = shouldInvalidate(query, firstKey.get(), firstExpr, requireMoreCharacters, &failed);
+				bool drop = shouldInvalidate(query, entryKey, firstExpr, requireMoreCharacters, &failed);
+				if (key == NULL) {
+					zend_string_release(entryKey);
+				}
 				if (UNEXPECTED(failed)) {
 					return zv::Val();
 				}
@@ -836,9 +859,30 @@ class ScopeOps
 				}
 			}
 
-			zv::Arr filtered; /* stays UNDEF until the first kept holder */
+			/* Lazily materialized: stays UNDEF while every holder seen so far
+			 * is kept, so the common no-drop case reuses the original array
+			 * instead of rebuilding it holder by holder. */
+			zv::Arr filtered;
+			uint32_t keptCount = 0;
 			for (auto holderEntry : holdersTable) {
+				zend_string *holderKey = holderEntry.stringKeyOrNull();
 				zv::Ref holder = holderEntry.value().deref();
+
+				/* The holder's array key (ConditionalExpressionHolder::getKey())
+				 * embeds every condition's expression key verbatim, so when the
+				 * invalidated key does not occur in it, none of the conditions
+				 * can contain the invalidated expression and the holder can be
+				 * kept without inspecting its conditions. */
+				if (canUseKeyPrefilter && holderKey != NULL
+					&& !strContains(holderKey, "__phpstan", sizeof("__phpstan") - 1)
+					&& !strContainsStr(holderKey, exprStringToInvalidate)) {
+					if (!filtered.isUndef()) {
+						tableAddNewCopy(filtered.table(), holderKey, holderEntry.indexKey(), holder);
+					} else {
+						keptCount++;
+					}
+					continue;
+				}
 				if (UNEXPECTED(!holder.instanceOf(pt_ce_cond_expr_holder))) {
 					zend_type_error("phpstan_turbo: expected ConditionalExpressionHolder");
 					return zv::Val();
@@ -869,16 +913,35 @@ class ScopeOps
 						}
 					}
 				}
-				if (!keep) {
+				if (keep) {
+					if (!filtered.isUndef()) {
+						tableAddNewCopy(filtered.table(), holderKey, holderEntry.indexKey(), holder);
+					} else {
+						keptCount++;
+					}
 					continue;
 				}
+
 				if (filtered.isUndef()) {
-					filtered = zv::Arr::create(0);
+					/* copy the kept prefix (mirrors the twin's array_slice) */
+					filtered = zv::Arr::create(keptCount);
+					uint32_t copied = 0;
+					for (auto keptEntry : holdersTable) {
+						if (copied == keptCount) {
+							break;
+						}
+						tableAddNewCopy(filtered.table(), keptEntry.stringKeyOrNull(), keptEntry.indexKey(), keptEntry.value().deref());
+						copied++;
+					}
 				}
-				tableAddNewCopy(filtered.table(), holderEntry.stringKeyOrNull(), holderEntry.indexKey(), holder);
 			}
 
 			if (filtered.isUndef()) {
+				/* nothing dropped — share the original holders array */
+				tableAddNewCopy(resultConditional.table(), key, idx, holders);
+				continue;
+			}
+			if (zend_hash_num_elements(filtered.table()) == 0) {
 				continue;
 			}
 			tableAddNew(resultConditional.table(), key, idx, std::move(filtered));
@@ -1038,6 +1101,18 @@ class ScopeOps
 	{
 		zv::Arr conditions = zv::Arr::create(0);
 		zv::Arr specified = zv::Arr::adoptTable(zend_array_dup(specifiedInput.table()));
+
+		/* Every holder has at least one condition (enforced by the
+		 * ConditionalExpressionHolder constructor) and both passes require all
+		 * of a holder's conditions to be among the specified expressions, so
+		 * with nothing specified nothing can ever match. */
+		if (zend_hash_num_elements(specified.table()) == 0) {
+			zv::Arr result = zv::Arr::create(2);
+			result.push(std::move(conditions));
+			result.push(std::move(specified));
+			return zv::Val(std::move(result));
+		}
+
 		uint32_t previousCount = UINT32_MAX;
 
 		while (zend_hash_num_elements(specified.table()) != previousCount) {