fix

Author: staabm

src/Type/IntersectionType.php

@@ -800,10 +800,11 @@ public function getLastIterableKeyType(): Type
 
 	public function getIterableValueType(): Type
 	{
+		$result = $this->intersectTypes(static fn (Type $type): Type => $type->getIterableValueType());
 		if ($this->isCallable()->yes() && $this->isArray()->yes()) {
-			return new UnionType([new ObjectWithoutClassType(), new StringType()]);
+			return TypeCombinator::intersect($result, new UnionType([new ObjectWithoutClassType(), new StringType()]));
 		}
-		return $this->intersectTypes(static fn (Type $type): Type => $type->getIterableValueType());
+		return $result;
 	}
 
 	public function getFirstIterableValueType(): Type

tests/PHPStan/Rules/Methods/data/bug-14549.php

@@ -31,6 +31,11 @@ public function doBar(array $list): void
 				assertType('non-empty-list<string>&callable(): mixed&hasOffsetValue(0, non-empty-string)', $list);
 				assertType('non-empty-string', $list[0]);
 				assertType('string', $list[1]);
+
+				foreach($list as $k => $v) {
+					assertType('0|1', $k);
+					assertType('string', $v);
+				}
 			}
 		}
 	}