From 7529d874075df61209d3aa61b7072ba1714f4a17 Mon Sep 17 00:00:00 2001
From: Michael Howell <michael@notriddle.com>
Date: Thu, 20 Apr 2023 12:34:17 -0700
Subject: [PATCH] rustdoc-search: make type name correction choice
deterministic
---
src/librustdoc/html/static/js/search.js | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/librustdoc/html/static/js/search.js b/src/librustdoc/html/static/js/search.js
index 74d9af14fa7..71568cd700c 100644
--- a/src/librustdoc/html/static/js/search.js
+++ b/src/librustdoc/html/static/js/search.js
@@ -1609,6 +1609,9 @@ function initSearch(rawSearchIndex) {
for (const [name, id] of typeNameIdMap) {
const dist = editDistance(name, elem.name, maxEditDistance);
if (dist <= matchDist && dist <= maxEditDistance) {
+ if (dist === matchDist && matchName > name) {
+ continue;
+ }
match = id;
matchDist = dist;
matchName = name;