<?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:----Wwea5X53QQVORLfnHCT/sGVz9B7IfIbkjFzOle537nQTgkIm3OIHxPp/M1BuzGWxfL9Qb45mVhqm8mZdrv0JzfNzxVeJynZmctiyhkgNXdf1X1EvW2RQtbnYZ3ACZ7UvNkcaqPsKO03iwqy6jw2L/B0r7/wuGD3YnmI49g/w8FpMiOBEJxIPUu3pt5MUrEyUBFPfP7HkS4dwGyPEP1Ot0KOQvH7bKmRYLzVy71npt4Dh6Iqg/m/1Wq6T8BxTm7gVGFxre+N6d4yp7/fFB7WX/35fsQOamdYHgQgwEJkJeWP8sMMF9ZHnBACwdTWRP/HgPpKWGhKm5POq4oSbZB7oJ+aTmCbI3XyTJuesTcfAAwbvd1vf3t77q2lpkm/4ksCqHjomY4vQzxNh30939IGoBpxGtcqd3vyQ8iv5cqEobiwO+F3djvacU++LgUyq+IWM2eR7NOBZmCFbQqLWGNhrJZ8r3nlluCguH9GfVJ1poUWgbObaGiPRauz7l6p5eEiiEr0bq/9aglUf+1twQY1a2oAqHsYgrhMoukLGqwtTz7EeZ581gtVgejosrvknGRc6EGDzIFPGhUeEfh3hgYdkvwsS+GFYHhQxpe333CGrzQ52OC5Olj4j2H6zNGOt/xIRBdMS9TYS/71h0oUdmtN6W8+HFt7gZqJnXdw8GnFxS5w=----ATTACHMENT:----NDI1NDE1Njg2ODU1MDEzMSAzNzMxMTUzODg3MDUzMTkyIDU4ODIxNjI5OTI1ODczMDY=