===description===
reports wrong union return
===file===
<?php
function f(): int {
    $x = true ? 1 : 'hello';
    return $x;
}
===expect===
InvalidReturnType@4:4: Return type '1|"hello"' is not compatible with declared 'int'
