False negative on positive-int

[danog]

positive-int is always > 0, not detected as a paradox: https://psalm.dev/r/314d217370

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/314d217370

<?php

	/**
	 * @param positive-int $pagesLimit
	 */
	function setPagesLimit(int $pagesLimit): void {
		if ($pagesLimit > 0) {
			echo $pagesLimit;
        }
	}

Psalm output (using commit 3a24488):

No issues!