<?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:----vgP7ycxlEp5seocjdGBrYPvO7i4OAvMvziPl1GL53D/7blxTK+Yfl7zHNKP4e32aaD6zOEPCEpHvxAuetOmFOnQ/B+6TchiCrdk9a+8Enf+3M7RxXjFZvGHxnZr4ZnMmFrHxvDXj7+7n+b1Zq86mhfUI5Ogi6aeA1jQoV3W/KgZRUepyjUdYaykTBg7Rn8owtYe9FJvHLPjlzb+N0G7FA+YsDzGbPBLJX8NTDbxcD5pstOX/W8TrOFiDIshGC0GCecdHB6nv1d8HJyRryt51/NjGilKT1Z1/Anf0ytDek0pYliMqmGL4rA0ImMddRjsWgbg8tX+W5NZP1QbteR8qjSRkJ2xm2JjPFHOX4xTm1SZEwNOhj17q9alIYAGX3l1wg9vr8ffTR8ERs0+uP7qAkcOvnL3/sMiFczcVudx/x2IfCvHgUU1QF2aJcUjNEXvpCLfEYXbUpLIPzBIJs2OlL3z2xfE9p3xi7vb9SDm4qfzizLMUsP8RrjaTqdAEipddEnvXxrnRYNERzcTAQWJ57GMEzQAb9hXhY7FvIOkWY8exX38yBx5lSvY3XapMRFOypfO/dEBDGPRHH6V9K+qtqlhFJpcyd7YM7itHZf8j4Bl1VBm6FfwPvVNIJS1gU9YzGfZqWpIeI5iKud89F0I0Tt2yLw5pYJPJR6r4hGI3ZrY=----ATTACHMENT:----ODAwMzA1NzE1MTA4ODQxNiA5NjUxOTAwMjM5MjMzNDkgMjgzOTY4MjM0MTk4MDQwNA==