Fix phpstan/phpstan#13563: Closure / Arrow functions type difference when an array is reset

src/Analyser/MutatingScope.php

@@ -2321,13 +2321,39 @@
 			$arrowFunctionScope = $arrowFunctionScope->invalidateExpression(new Variable('this'));
 		}
 
+		$filteredExpressionTypes = $this->invalidateStaticExpressions($arrowFunctionScope->expressionTypes);
+		$filteredNativeExpressionTypes = $arrowFunctionScope->nativeExpressionTypes;
+
+		if (!$arrowFunction->static && $this->hasVariableType('this')->yes()) {
+			foreach ($filteredExpressionTypes as $exprString => $typeHolder) {
+				$expr = $typeHolder->getExpr();
+				if (!$expr instanceof PropertyFetch) {
+					continue;
+				}
+				if ($this->isReadonlyPropertyFetch($expr, true)) {
+					continue;
+				}
+				unset($filteredExpressionTypes[$exprString]);
+			}
+			foreach ($filteredNativeExpressionTypes as $exprString => $typeHolder) {
+				$expr = $typeHolder->getExpr();
+				if (!$expr instanceof PropertyFetch) {
+					continue;
+				}
+				if ($this->isReadonlyPropertyFetch($expr, true)) {
+					continue;
+				}
+				unset($filteredNativeExpressionTypes[$exprString]);
+			}
+		}
+
 		return $this->scopeFactory->create(
 			$arrowFunctionScope->context,
 			$this->isDeclareStrictTypes(),
 			$arrowFunctionScope->getFunction(),
 			$arrowFunctionScope->getNamespace(),
-			$this->invalidateStaticExpressions($arrowFunctionScope->expressionTypes),
-			$arrowFunctionScope->nativeExpressionTypes,
+			$filteredExpressionTypes,
+			$filteredNativeExpressionTypes,
 			$arrowFunctionScope->conditionalExpressions,
 			$arrowFunctionScope->inClosureBindScopeClasses,
 			new ClosureType(),

src/Type/Generic/TemplateTypeTrait.php

@@ -74,7 +74,8 @@ public function describe(VerbosityLevel $level): string
 			}
 			$defaultDescription = '';
 			if ($this->default !== null) {
-				$recursionGuard = RecursionGuard::runOnObjectIdentity($this->default, fn () => $this->default->describe($level));
+				$default = $this->default;
+				$recursionGuard = RecursionGuard::runOnObjectIdentity($default, static fn () => $default->describe($level));
 				if (!$recursionGuard instanceof ErrorType) {
 					$defaultDescription .= sprintf(' = %s', $recursionGuard);
 				}

tests/PHPStan/Analyser/nsrt/bug-13563.php

@@ -0,0 +1,55 @@
+<?php declare(strict_types = 1);
+
+namespace Bug13563;
+
+use DateTime;
+use function PHPStan\Testing\assertType;
+
+class Invoker
+{
+	/**
+	 * @var array<string, \Closure>
+	 */
+	private array $callbacks = [];
+
+	public function willReturnCallback(string $method, callable $callback): void
+	{
+		$this->callbacks[$method] = \Closure::fromCallable($callback);
+	}
+}
+
+class MyTest
+{
+	/**
+	 * @var array<int, DateTime>
+	 */
+	private array $dates = [];
+
+	/**
+	 * @var array<int, DateTime>
+	 */
+	private array $propNotCleared = [];
+
+	public function setUp(): void
+	{
+		$invoker = new Invoker();
+		$this->dates = [];
+
+		assertType('array{}', $this->dates);
+
+		// Arrow function should see the declared property type, not the narrowed array{} type
+		$invoker->willReturnCallback('get', fn (int $id) => assertType('array<int, DateTime>', $this->dates));
+
+		// Closure correctly sees the declared property type
+		$invoker->willReturnCallback('get', function (int $id) {
+			assertType('array<int, DateTime>', $this->dates);
+		});
+
+		// Property not cleared - both should see the declared type
+		assertType('array<int, DateTime>', $this->propNotCleared);
+		$invoker->willReturnCallback('get', fn (int $id) => assertType('array<int, DateTime>', $this->propNotCleared));
+		$invoker->willReturnCallback('get', function (int $id) {
+			assertType('array<int, DateTime>', $this->propNotCleared);
+		});
+	}
+}