in src/api-gen/DataMerger.php [356:377]
private static function mergeNames(string $a, string $b): string {
if ($a === 'mixed') {
return $b;
}
if ($b === 'mixed') {
return $a;
}
if ($a === 'object' || $a === "HH\\object") {
return $b;
}
if ($b === 'object' || $b === "HH\\object") {
return $a;
}
if (Str\starts_with($a, "HH\\")) {
return $a;
}
if (Str\starts_with($b, "HH\\")) {
return $b;
}
return (Str\length($a) > Str\length($b)) ? $a : $b;
}