Adding element to array/list should promote it to non-empty

[b1rdex]

https://phpstan.org/r/25383d75-a004-43d6-83cf-df864f99c806

<?php declare(strict_types = 1);

/** @param non-empty-list<mixed> $foo */
function sayHello($foo): void
{
}

/** @return list<int> */
function getList(): array {
	return [];
}

$a = getList();
$a[] = 1;
sayHello($a);

I'm not sure if it's possible in the current PHPStan... Just wondering. It'd be great to detect this.

[ondrejmirtes]

The beginning was easy but then I had to fix all the subsequent bugs... Fixed: phpstan/phpstan-src@d67dae3

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.