Unsealed types awareness in more methods

Author: ondrejmirtes

src/Type/Constant/ConstantArrayType.php

@@ -244,6 +244,16 @@ public function getReferencedClasses(): array
 			}
 		}
 
+		if ($this->unsealed !== null) {
+			[$unsealedKeyType, $unsealedValueType] = $this->unsealed;
+			foreach ($unsealedKeyType->getReferencedClasses() as $referencedClass) {
+				$referencedClasses[] = $referencedClass;
+			}
+			foreach ($unsealedValueType->getReferencedClasses() as $referencedClass) {
+				$referencedClasses[] = $referencedClass;
+			}
+		}
+
 		return $referencedClasses;
 	}
 
@@ -851,6 +861,25 @@ public function equals(Type $type): bool
 			return false;
 		}
 
+		// Both `unsealed === null` and `unsealed === [explicitNever, explicitNever]`
+		// mean "sealed", just from different code paths (pre-bleeding-edge vs.
+		// fresh bleeding-edge builder). Treat them as equivalent here, only
+		// comparing the actual extras when both sides have real ones.
+		$thisIsSealed = $this->isUnsealed()->no();
+		$otherIsSealed = $type->isUnsealed()->no();
+		if ($thisIsSealed !== $otherIsSealed) {
+			return false;
+		}
+
+		if (!$thisIsSealed && $this->unsealed !== null && $type->unsealed !== null) {
+			if (!$this->unsealed[0]->equals($type->unsealed[0])) {
+				return false;
+			}
+			if (!$this->unsealed[1]->equals($type->unsealed[1])) {
+				return false;
+			}
+		}
+
 		return true;
 	}
 
@@ -2152,6 +2181,16 @@ public function getReferencedTemplateTypes(TemplateTypeVariance $positionVarianc
 			}
 		}
 
+		if ($this->unsealed !== null) {
+			[$unsealedKeyType, $unsealedValueType] = $this->unsealed;
+			foreach ($unsealedKeyType->getReferencedTemplateTypes($variance) as $reference) {
+				$references[] = $reference;
+			}
+			foreach ($unsealedValueType->getReferencedTemplateTypes($variance) as $reference) {
+				$references[] = $reference;
+			}
+		}
+
 		return $references;
 	}