bug-5017.php

<?php

namespace Bug5017;

use function PHPStan\Testing\assertType;

class Foo
{

	public function doFoo()
	{
		$items = [0, 1, 2, 3, 4];

		while ($items) {
			assertType('non-empty-list<int<min, 4>>', $items);
			$batch = array_splice($items, 0, 2);
			assertType('list<int<min, 4>>', $items);
			assertType('non-empty-list<int<min, 4>>', $batch);
		}
	}

	/**
	 * @param int[] $items
	 */
	public function doBar($items)
	{
		while ($items) {
			assertType('non-empty-array<int>', $items);
			$batch = array_splice($items, 0, 2);
			assertType('array<(int<0, max>|string), int>', $items);
			assertType('array<int>', $batch);
		}
	}

	public function doBar2()
	{
		$items = [0, 1, 2, 3, 4];
		assertType('array{0, 1, 2, 3, 4}', $items);
		$batch = array_splice($items, 0, 2);
		assertType('array{2, 3, 4}', $items);
		assertType('array{0, 1}', $batch);
	}

	/**
	 * @param int[] $ints
	 * @param string[] $strings
	 */
	public function doBar3(array $ints, array $strings)
	{
		$removed = array_splice($ints, 0, 2, $strings);
		assertType('array<int>', $removed);
		assertType('array<(int<0, max>|string), int|string>', $ints);
		assertType('array<string>', $strings);
	}

}