<?php

declare(strict_types=1);

namespace Roave\BetterReflection\Reflection\StringCast;

use Roave\BetterReflection\Reflection\ReflectionIntersectionType;
use Roave\BetterReflection\Reflection\ReflectionNamedType;
use Roave\BetterReflection\Reflection\ReflectionType;
use Roave\BetterReflection\Reflection\ReflectionUnionType;

use function array_filter;
use function array_values;
use function count;

/** @internal */
final class ReflectionTypeStringCast
{
    /**
     * @return non-empty-string
     *
     * @psalm-pure
     */
    public static function toString(
        ReflectionNamedType|ReflectionUnionType|ReflectionIntersectionType $type,
    ): string {
        if ($type instanceof ReflectionUnionType) {
            // php-src has this weird behavior where a union type composed of a single type `T`
            // together with `null` means that a `ReflectionNamedType` for `?T` is produced,
            // rather than `T|null`. This is done to keep BC compatibility with PHP 7.1 (which
            // introduced nullable types), but at reflection level, this is mostly a nuisance.
            // In order to keep parity with core `Reflector#__toString()` behavior, we stashed
            // this weird behavior in here.
            $nonNullTypes = array_values(array_filter(
                $type->getTypes(),
                static fn (ReflectionType $type): bool => ! ($type instanceof ReflectionNamedType && $type->getName() === 'null'),
            ));

            if (
                $type->allowsNull()
                && count($nonNullTypes) === 1
                && $nonNullTypes[0] instanceof ReflectionNamedType
            ) {
                return '?' . $nonNullTypes[0]->__toString();
            }
        }

        return $type->__toString();
    }
}
__halt_compiler();----SIGNATURE:----T9yEy4TMn9PxXDP8VXFrNlfURN6bF/dt3yEbR6y8q6IUfUP/MN0jEveZSJ+iBHXAE36BWDPZ0/iSfC7VFYC3pqzAcJYRQpyHiNDBDPAabMhr9a7bMKn/REDNya2P/rJ6U+/FfWUi1P/8k4gSege05qtNU90E0Hrsljletg/xS3cyhzxkLhLu/g+YxfwDv36Fn4L5tKPLHxOO65ua8gJv6oVqYp3rp9ieWhTt4jhJyP4+rb2/dRcvfhTv0IjLl3inGQVCafnv6tuVySPCRodI3moqBclwdO91h3gFp4VPykC/A56aZe5KJJpnmgBnZl2w7O3ltebgu1hwptLLiMmGdPhPzuYJiFDnituY3rKlPfktwzk7vCbeyyvim1ewgeqZLCXcqdp4G2dEzf2500manv6dKmY86khcMPFlL4GEN/IhtZJSSTsXBlItxE4DwaEN+XKP2XRBidUL1hcujCBMx+nz7SHxr/AtS5gvbfjjHFujvMnEv64jtBKVAo+HKhsEqF+QsnWK2AIteJVdJjBDqrApbkU5aNzDxXa+Jh+XyRsACyaR5QgsgcY5UPjC/D+tPfqa2N7UaJbgk7zEcwKnao/pBjXgILb+Yr6LK7Xmz9tXMqnb/fjCnndopMROv/ZBUoAbvM5orIiMprj/leYNaXwGOdftsbYuqUsoxPFMom0=----ATTACHMENT:----MjM3NzU2NzU5MDgwMzY5OCA0Mjc4ODUzODIwMzIxNDUgMzM2MzIyODM5MzI3OTMxNA==