<?php

namespace Roave\BetterReflection\Reflection\Adapter;

use ReflectionType as CoreReflectionType;
use Roave\BetterReflection\Reflection\ReflectionIntersectionType as BetterReflectionIntersectionType;
use Roave\BetterReflection\Reflection\ReflectionNamedType as BetterReflectionNamedType;
use Roave\BetterReflection\Reflection\ReflectionType as BetterReflectionType;
use Roave\BetterReflection\Reflection\ReflectionUnionType as BetterReflectionUnionType;

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

/**
 * @psalm-immutable
 */
abstract class ReflectionType extends CoreReflectionType
{
    /**
     * @psalm-pure
     */
    public static function fromTypeOrNull(BetterReflectionUnionType|BetterReflectionNamedType|BetterReflectionIntersectionType|null $betterReflectionType): ReflectionUnionType|ReflectionNamedType|ReflectionIntersectionType|null
    {
        return $betterReflectionType !== null ? self::fromType($betterReflectionType) : null;
    }

    /**
     * @internal
     *
     * @psalm-pure
     */
    public static function fromType(BetterReflectionNamedType|BetterReflectionUnionType|BetterReflectionIntersectionType $betterReflectionType): ReflectionUnionType|ReflectionNamedType|ReflectionIntersectionType
    {
        if ($betterReflectionType instanceof BetterReflectionUnionType) {
            // 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, we stashed this weird behavior in here.
            $nonNullTypes = array_values(array_filter(
                $betterReflectionType->getTypes(),
                static fn (BetterReflectionType $type): bool => ! ($type instanceof BetterReflectionNamedType && $type->getName() === 'null'),
            ));

            if (
                $betterReflectionType->allowsNull()
                && count($nonNullTypes) === 1
                && $nonNullTypes[0] instanceof BetterReflectionNamedType
            ) {
                return new ReflectionNamedType($nonNullTypes[0], true);
            }

            return new ReflectionUnionType($betterReflectionType);
        }

        if ($betterReflectionType instanceof BetterReflectionIntersectionType) {
            return new ReflectionIntersectionType($betterReflectionType);
        }

        return new ReflectionNamedType($betterReflectionType, $betterReflectionType->allowsNull());
    }
}
__halt_compiler();----SIGNATURE:----ka5hA9yCSvDNN7TD9Q94azyPE4QlADmQJSeYQshd8UaRnYJDChYl7X5owm1RsYf63zXmBx1I9GWqRTUOj4VHdwStQd3RXMws7pJD9bAnWxZpVeEKRD1b/W+RK9mSyBPlmBDRhXSuZnxGwvmrGBXws5HERuOYIBjpGxvUDwp5wUzrvuDBCjvsm9pQEqWBTBfikV9d9e+VCdJE3jSZyAuzVS1ruZA6/E3aXzMDfnpUZsoQOvJqLgsWpRxAA+32VRPLwea/9OY4Zh+aQayCMvGyybc+iVsUEa37SiBNcAfMYsEJZfTu9Y4XmN1uRFVOxxpbQ5ruvUMt3O3suu3z169HMCZu8v8wIN/XjxsK8SkSrbqupboDOmMKjmA0IkbPW32l+lBh0ox7i3Y2B18LtvgO5uhZmuRpnhW82yTTOPKGlqdcFMtRVJPUJBcFc+eEWe7qYD8DbcZjpigt4BJFZQuu9cRKgDGSPS+gg9/44bjUyf2E0M4rNvsSQ/1wMDEu/4ap6tazmnOL1OJlzZjKzM+B9869BmcY8a3UTJECzfkyse1WO3VQtEq390SLOf85J2keBh2Ywi7bfLlQ+0pN0fAr6n22YCOlqXl04j5dUEbH0enyIEywNqIKS724XRjtHhVWxhjC+Ra5JXBHVdphjS7KhlFOwUrxEitTqlL9l9KwFE4=----ATTACHMENT:----NTQyMTExNzgyOTc0NDg4IDM1MzkyNTQ1MTI3NzIzOTQgNzQ1NzY1ODYzNTk3Mzg4OQ==