Faster ExpressionTypeHolder->equals()

staabm · ondrejmirtes · commit 30e7e8e3a670 · 2026-01-17T20:36:40.000+01:00
diff --git a/src/Analyser/ExpressionTypeHolder.php b/src/Analyser/ExpressionTypeHolder.php
@@ -26,6 +26,10 @@ public static function createMaybe(Expr $expr, Type $type): self
 
 	public function equals(self $other): bool
 	{
+		if ($this === $other) {
+			return true;
+		}
+
 		if (!$this->certainty->equals($other->certainty)) {
 			return false;
 		}

Original file line number	Diff line number	Diff line change
`@@ -26,6 +26,10 @@ public static function createMaybe(Expr $expr, Type $type): self`
`26`	`26`
`27`	`27`	`public function equals(self $other): bool`
`28`	`28`	`{`
	`29`	`+ if ($this === $other) {`
	`30`	`+ return true;`
	`31`	`+ }`
	`32`	`+`
`29`	`33`	`if (!$this->certainty->equals($other->certainty)) {`
`30`	`34`	`return false;`
`31`	`35`	`}`