<?php

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:----a8Ejipj0Zrp9Vo/exztaN0e+2rfbEm+ZcqnW2vrH3umSErapgKQKppL74SF1keRRKmWrGudysI1YUnm8lYqVWHVr2YV1RtceGr5E4DTtKBuFLAJa3DPFU3Y/plPJx/5gHGno5fk83Lfs3qVITEIkcinFMXBQBGTLw0yb2etsBVNispPLEI7b4Jr1g9ny6RLKwx8QoPnASCznTUx+LjtYLB2p2c3us1oGEoMgiSX0FRL8F0eN/822JC1O9Mjj/DSbKvm3CvFLlVAjs34RAQ972CmAOiciEsgpjZNUN9M9fs5cnDeRsL8KHppMz0dIZj/kH4oYZRwgghzadOHS1WzX2oDwhu8cRWbOHLkVdmIvHKxGh7RKp0FhYZQIX21YWrrXAs2PsX/+DFjEVS1WOqGkJ0dcMSLfScE3HU+sqxXLzC9Esh8FnENiQRrB+EQ5o00aVUakpCZZSINI6JEI7ag+0aYanFihZHalsvxaryjeKpiyHwKdop7b+5qamhW+9PQb991wfEYh9bVNtGipbY0ueKZhmBNf44dYyRGFTiTiuCj3nm/bZ+tzoJ0kqbawEmmaZtfDcyONI8Mu2Iw4NShzpsq+gygT8WtnolfBFpvynOJOmg4wEXXnLDxppu99EnjQK6ia/53rbr1/RieomPhHUNnXUpG5p+2Dyf0wPGrYrWk=----ATTACHMENT:----NDUxNjQ2ODIzNjU3NTQ0IDg4NjMzNzY4NTc4MTYyNjIgMzgzNzAxODc4NTQ3NjEwNQ==