phpstan-bug.php

<?php

declare(strict_types=1);

namespace Snippet;

use loophp\TypedGenerators\TG;
use function PHPStan\Testing\assertType;

include __DIR__ . '/vendor/autoload.php';

$sub1 = TG::array(TG::string(), TG::null());
assertType('array<string, null>', $sub1()); // Passing

$sub2 = TG::array(TG::int(), TG::null());
assertType('array<int, null>', $sub2()); // Passing

$sub3 = TG::array(TG::compound(TG::int(), TG::string()), TG::null());
assertType('array<int|string, null>', $sub3()); // Passing

$sub4 = TG::iterator(TG::string(), TG::null())->add(TG::int(), TG::null());
assertType('Iterator<int|string, null>', $sub4()); // Passing

$sub5 = TG::array(TG::string(), TG::null())->add(TG::int(), TG::null());
assertType('array<int|string, null>', $sub5()); // Failing: Expected type array<int|string, null>, actual: array<string, null>