DocblockTypeContradiction error creates incorrect type and wrong error

[kkmuffme]

https://psalm.dev/r/abc33fab15

The first trace should be int - not int|float

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/abc33fab15

<?php

/**
 * @var int|float $init
 */
$foo = $init;

if ( is_int( $foo ) || !is_float( $foo ) ) {
 	/** @psalm-trace $foo */;   
    return;
}

/** @psalm-trace $foo */;

Psalm output (using commit e81823e):

ERROR: DocblockTypeContradiction - 8:24 - Docblock-defined type float for $foo is always float

INFO: Trace - 9:27 - $foo: float|int

INFO: Trace - 13:25 - $foo: float

[kkmuffme]

Reverse issue too https://psalm.dev/r/335b5aca9e

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/335b5aca9e

<?php

/**
 * @param int|float $arg
 * @return bool
 *
 * @psalm-assert-if-true int $arg
 * @psalm-assert-if-false float $arg
 */
function is_int_or_float( $arg ) {
	if ( is_int( $arg ) ) {
		return true;
	}

	return false;
}

/**
 * @var int|float $init
 */
$foo = $init;

if ( is_int_or_float( $foo ) ) {
	/** @psalm-trace $foo */;
	return;
}

/** @psalm-trace $foo */;

Psalm output (using commit 7d6a48a):

ERROR: RedundantCondition - 23:6 - Type int for $foo is never float

INFO: Trace - 24:26 - $foo: int

INFO: Trace - 28:25 - $foo: float|int