Phan fails to warn about @param object $x when the real type is more specific

[TysonAndre]

Observed: Phan emits no warnings for the following snippet
Expected: Phan (1) warns about the phpdoc comment being more permissive than the real type, and (2) warns about the missing method.

(should ignore nullability and non-object types in the union type for the comparison)

<?php
/**
 * @param object $dom
 */
function vaguer_comment(DOMDocument $dom) {
    $dom->missingMethod('test');
}
/**
 * For php 8.0, this should also warn
 * @param object $dom
 */
function somewhat_vaguer_comment(DOMDocument|false $dom) {
    $dom->missingMethod('test');
}