Merge branch 2.1.x into 2.2.x

phpstan-bot · phpstan-bot · commit e6fb7818bb1b · 2026-03-18T07:56:00.000Z
diff --git a/src/Type/IntersectionType.php b/src/Type/IntersectionType.php
@@ -86,6 +86,8 @@ class IntersectionType implements CompoundType
 
 	private ?TrinaryLogic $isOversizedArray = null;
 
+	private ?TrinaryLogic $isOffsetAccessible = null;
+
 	private ?TrinaryLogic $isIterableAtLeastOnce = null;
 
 	private ?TrinaryLogic $isConstantScalarValue = null;
@@ -862,7 +864,7 @@ public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
 
 	public function isOffsetAccessible(): TrinaryLogic
 	{
-		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->isOffsetAccessible());
+		return $this->isOffsetAccessible ??= $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->isOffsetAccessible());
 	}
 
 	public function isOffsetAccessLegal(): TrinaryLogic

Original file line number	Diff line number	Diff line change
`@@ -86,6 +86,8 @@ class IntersectionType implements CompoundType`
`86`	`86`
`87`	`87`	`private ?TrinaryLogic $isOversizedArray = null;`
`88`	`88`
	`89`	`+ private ?TrinaryLogic $isOffsetAccessible = null;`
	`90`	`+`
`89`	`91`	`private ?TrinaryLogic $isIterableAtLeastOnce = null;`
`90`	`92`
`91`	`93`	`private ?TrinaryLogic $isConstantScalarValue = null;`
`@@ -862,7 +864,7 @@ public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType`
`862`	`864`
`863`	`865`	`public function isOffsetAccessible(): TrinaryLogic`
`864`	`866`	`{`
`865`		`- return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->isOffsetAccessible());`
	`867`	`+ return $this->isOffsetAccessible ??= $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->isOffsetAccessible());`
`866`	`868`	`}`
`867`	`869`
`868`	`870`	`public function isOffsetAccessLegal(): TrinaryLogic`