createTypeHash($firstType) === $this->createTypeHash($secondType); } public function createTypeHash(Type $type) : string { if ($type instanceof MixedType) { return $type->describe(VerbosityLevel::precise()) . $type->isExplicitMixed(); } if ($type instanceof ArrayType) { return $this->createTypeHash($type->getItemType()) . $this->createTypeHash($type->getKeyType()) . '[]'; } if ($type instanceof GenericObjectType) { return $type->describe(VerbosityLevel::precise()); } if ($type instanceof TypeWithClassName) { return $this->resolveUniqueTypeWithClassNameHash($type); } if ($type instanceof ConstantType) { return \get_class($type); } $type = $this->normalizeObjectType($type); return $type->describe(VerbosityLevel::value()); } private function resolveUniqueTypeWithClassNameHash(TypeWithClassName $typeWithClassName) : string { if ($typeWithClassName instanceof ShortenedObjectType) { return $typeWithClassName->getFullyQualifiedName(); } if ($typeWithClassName instanceof AliasedObjectType) { return $typeWithClassName->getFullyQualifiedName(); } return $typeWithClassName->getClassName(); } private function normalizeObjectType(Type $type) : Type { return TypeTraverser::map($type, static function (Type $currentType, callable $traverseCallback) : Type { if ($currentType instanceof ShortenedObjectType) { return new FullyQualifiedObjectType($currentType->getFullyQualifiedName()); } if ($currentType instanceof AliasedObjectType) { return new FullyQualifiedObjectType($currentType->getFullyQualifiedName()); } if ($currentType instanceof ObjectType && !$currentType instanceof GenericObjectType && $currentType->getClassName() !== 'Iterator' && $currentType->getClassName() !== 'iterable') { return new FullyQualifiedObjectType($currentType->getClassName()); } return $traverseCallback($currentType); }); } }