it works, kinda

Author: ondrejmirtes

src/Analyser/NodeScopeResolver.php

@@ -5384,12 +5384,12 @@ private function processAssignVar(
 				}
 
 				if ($dimExpr === null) {
-					$offsetTypes[] = null;
-					$offsetNativeTypes[] = null;
+					$offsetTypes[] = [null, TrinaryLogic::createYes()];
+					$offsetNativeTypes[] = [null, TrinaryLogic::createYes()];
 
 				} else {
-					$offsetTypes[] = $scope->getType($dimExpr);
-					$offsetNativeTypes[] = $scope->getNativeType($dimExpr);
+					$offsetTypes[] = [$scope->getType($dimExpr), $scope->getType($dimFetch->var)->hasOffsetValueType($scope->getType($dimExpr))->or($scope->hasExpressionType($dimFetch))];
+					$offsetNativeTypes[] = [$scope->getNativeType($dimExpr), $scope->getNativeType($dimFetch->var)->hasOffsetValueType($scope->getNativeType($dimExpr))->or($scope->hasExpressionType($dimFetch))];
 
 					if ($enterExpressionAssign) {
 						$scope->enterExpressionAssign($dimExpr);
@@ -5436,8 +5436,8 @@ private function processAssignVar(
 				$nativeValueToWrite = $this->produceArrayDimFetchAssignValueToWrite($offsetNativeTypes, $offsetNativeValueType, $nativeValueToWrite);
 			} else {
 				$rewritten = false;
-				foreach ($offsetTypes as $i => $offsetType) {
-					$offsetNativeType = $offsetNativeTypes[$i];
+				foreach ($offsetTypes as $i => [$offsetType]) {
+					[$offsetNativeType] = $offsetNativeTypes[$i];
 					if ($offsetType === null) {
 						if ($offsetNativeType !== null) {
 							throw new ShouldNotHappenException();
@@ -5752,18 +5752,16 @@ static function (): void {
 	}
 
 	/**
-	 * @param list<Type|null> $offsetTypes
+	 * @param list<array{Type|null, TrinaryLogic}> $offsetTypes
 	 */
 	private function produceArrayDimFetchAssignValueToWrite(array $offsetTypes, Type $offsetValueType, Type $valueToWrite): Type
 	{
 		$offsetValueTypeStack = [[$offsetValueType, TrinaryLogic::createYes()]];
-		foreach (array_slice($offsetTypes, 0, -1) as $offsetType) {
+		foreach (array_slice($offsetTypes, 0, -1) as [$offsetType, $has]) {
 			if ($offsetType === null) {
-				$has = TrinaryLogic::createYes();
 				$offsetValueType = new ConstantArrayType([], []);
 
 			} else {
-				$has = $offsetValueType->hasOffsetValueType($offsetType);
 				$offsetValueType = $offsetValueType->getOffsetValueType($offsetType);
 				if ($offsetValueType instanceof ErrorType) {
 					$offsetValueType = new ConstantArrayType([], []);
@@ -5773,7 +5771,7 @@ private function produceArrayDimFetchAssignValueToWrite(array $offsetTypes, Type
 			$offsetValueTypeStack[] = [$offsetValueType, $has];
 		}
 
-		foreach (array_reverse($offsetTypes) as $i => $offsetType) {
+		foreach (array_reverse($offsetTypes) as $i => [$offsetType]) {
 			/** @var Type $offsetValueType */
 			[$offsetValueType, $has] = array_pop($offsetValueTypeStack);
 			if (

tests/PHPStan/Analyser/data/bug-10922.php

@@ -12,7 +12,7 @@ public function sayHello(array $array): void
 		foreach ($array as $key => $item) {
 			$array[$key]['bar'] = '';
 		}
-		assertType("array<string, array{foo: string, bar: ''}>", $array);
+		assertType("array<string, array{foo: string, bar?: ''}>", $array);
 	}
 
 	/** @param array<string, array{foo: string}> $array */

tests/PHPStan/Rules/Properties/TypesAssignedToPropertiesRuleTest.php

@@ -502,6 +502,11 @@ public function testBug6356b(): void
 				26,
 				"Offset 'age' (int) does not accept type int|string.",
 			],
+			[
+				'Property Bug6356b\HelloWorld2::$nestedDetails (array<array{name: string, age: int}>) does not accept non-empty-array<array{age: \'Eleventy-one\'|\'Five\'|\'Twelve\'|int, name: string}>.',
+				29,
+				'Offset \'age\' (int) does not accept type int|string.',
+			],
 		]);
 	}