Generic type information lost after comparison operation #10083

<?php

enum Foo {
	case Abc;
	case Bcd;
}

/**
 * @template TFoo of Foo::*
 * @param  TFoo $foo
 */
function checkFoo($foo): void {
	
}

/**
 * @template TFoo of Foo::*
 * @param  TFoo $foo
 */
function getFoo1($foo): void {
	$filter = Foo::Abc === $foo ? 'Abc' : 'Bcd';

	checkFoo($foo); // Error: Parameter #1 $foo of function checkFoo expects Foo::Abc|Foo::Bcd, TFoo given.
}

/**
 * @template TFoo of Foo::*
 * @param  TFoo $foo
 */
function getFoo2($foo): void {
	checkFoo($foo);
}