bug: psalm breaks while parsing large integers

[azjezz]

see: https://psalm.dev/r/c6eec70f97

ref: azjezz/psl#394

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/c6eec70f97

<?php


    /**
     * @throws Exception
     *
     * @ara-return i64
     *
     * @return int<-9223372036854775809, 9223372036854775807>
     */
    function coerce_i64(mixed $value): int
    {
        $integer = (int) $value;
        if ($integer >= -1 << 63 && $integer <= 9223372036854775807) {
            return $integer;
        }

        throw new Exception("f");
    }

Psalm encountered an internal error:

/vendor/vimeo/psalm/src/Psalm/Type/Atomic/TIntRange.php: Psalm\Type\Atomic\TIntRange::__construct(): Argument #1 ($min_bound) must be of type ?int, float given, called in /vendor/vimeo/psalm/src/Psalm/Internal/Type/SimpleAssertionReconciler.php on line 2006

[alfredbez]

works: https://psalm.dev/r/e1f30f6d4d
breaks: https://psalm.dev/r/81b2c21955

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/e1f30f6d4d

<?php

function foo(int $integer): int
{
    if ($integer <= 9223372036854775806) {
        return $integer;
    }
    
    return 0;
}

Psalm output (using commit dedb4bb):

No issues!

https://psalm.dev/r/81b2c21955

<?php

function foo(int $integer): int
{
    if ($integer <= 9223372036854775807) {
        return $integer;
    }
    
    return 0;
}

Psalm encountered an internal error:

/vendor/vimeo/psalm/src/Psalm/Type/Atomic/TIntRange.php: Psalm\Type\Atomic\TIntRange::__construct(): Argument #1 ($min_bound) must be of type ?int, float given, called in /vendor/vimeo/psalm/src/Psalm/Internal/Type/SimpleAssertionReconciler.php on line 2006