Wrong type combination: list<positive-int> + int = list<positive-int>

[klimick]

https://psalm.dev/r/cc223d445f

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/cc223d445f

<?php

/**
 * @return int
 */
function int(): int
{
	return 0;
}

/**
 * @return list<positive-int>
 */
function posiviteIntegers(): array
{
	return [1];
}

// int + list<positive-int> = list<int>
$_correct = [int(), ...posiviteIntegers()];
/** @psalm-trace $_correct */;

// list<positive-int> + int = list<positive-int>
$_incorrect = [...posiviteIntegers(), int()];
/** @psalm-trace $_incorrect */;

Psalm output (using commit a1b5e48):

INFO: Trace - 21:30 - $_correct: non-empty-list<int>

INFO: Trace - 25:32 - $_incorrect: non-empty-list<positive-int>