Assertions used as function argument are repeated

[danog]

Similar to #9708, https://psalm.dev/r/3ad2966caa

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/3ad2966caa

<?php

class a {
    public ?int $_id = null;
	/**
	 * @psalm-mutation-free
	 *
	 * @psalm-assert !null $this->_id
	 *
	 * @return int
	 */
	public function getIdAssert(): int {
		$id = $this->_id;
		assert($id !== null);
		return $id;
	}
    public function t(): void {
        self::test($this->getIdAssert());
    }
    public function test(int $a): void {}
}

Psalm output (using commit c059388):

ERROR: RedundantConditionGivenDocblockType - 18:27 - Docblock-defined type int for $this->_id is never null