<?php

declare(strict_types=1);

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:----Z+M2nf7KYhQDifZbCvL2+YXwfZD3fRFZEWcLYKY8E8i95POIqMbHL9d1a1y88BPh0Cis84lNzt7cMACq9inVn2LiEGOBAD2o8jrstPrXbdypLOvCf+hVnZfb2Mi2WzPNWmHfi807D4ZrZh3+zDk+MkVtHSJPHhPfL9jrNm9id0HgP6Y8PRVLU4WuOTr37rbWgEZwm190xxfnkLpjtxh2baFB/IBba5O4PpORZ6O5SN+t/5t1NQxuJRRMcBKVjy390J23UL5Uv7O0ZGJegQnbeYeXBYv++3WHiI/ctJmmeS37FZDTn7/OI9zMBeKScNGfyi6OoVquJWhZ3w5SQeVfcDZARgbLzHYM02V/t7y+83lEO9gauKmsxdW40Dfc6HPCMr7LSmfkRIf1DWNrjF/cAoqaxsRjWNDLeNDuFHGrecKWELJa7QWOK4oXpr0JjdT65bzwJi8eWl60W3Cy6a8qVd5U4ob/dRyRBFYjK0mdqKiVwSpEM8+ZRh8j3UlDjuVHqm2TQjVDu/3ldQGZ/YWpY2sZSnUS/lqLcVvN7Bv1xfX3ZoJVfyNrvwKcSqa2+U1rQO3sNgMNBsMEwk/9XKqPWG+vKGGlDfbO2f5KRuNT1mZgvbkZcpPo/vN9CFfcXCAlm0eZ5e03tbbJK5Y/HzE68vemAkqKDcS8fGg0FPg6YWw=----ATTACHMENT:----MTU0MDExNzI5MTQyNjY2MSAzNTY0ODQ2NTIzMzkxMzM5IDkxMzk1MDg0ODYzMjA0MDI=