Incorrect error if variable is passed as reference

[MartkCz]

https://phpstan.org/r/51b169ed-dff3-477d-a0c8-f6f2f9bcdd93

Code snippet that reproduces the problem

function test(array $array): string {
	if (!$array) {
		throw new \Exception('empty');
	}
	
	$shift = array_shift($array); // <- this is problem because of reference
	return $array ? 'has' : 'empty'; // <- error
}

var_dump(test(['first', 'second']));
var_dump(test(['first']));

Output is string(3) "has" string(5) "empty"

Phpstan outputs " 9 | Ternary operator condition is always true."

[ondrejmirtes]

Will be fixed by #1964 once we figure out how to correctly change the typesystem.

[ondrejmirtes]

Fixed: e937b16