private static function mergeNames()

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;
  }