From f9251eef688590cd4770baaa01241bbb060c2eba Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume.gomez@huawei.com>
Date: Tue, 22 Mar 2022 11:22:09 +0100
Subject: [PATCH] Replace unneeded use of regex with a simple if

---
 src/librustdoc/html/static/js/search.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/librustdoc/html/static/js/search.js b/src/librustdoc/html/static/js/search.js
index 92a8279791de..421e8f31e970 100644
--- a/src/librustdoc/html/static/js/search.js
+++ b/src/librustdoc/html/static/js/search.js
@@ -564,7 +564,10 @@ window.initSearch = function(rawSearchIndex) {
         try {
             parseInput(query, parserState);
             if (parserState.typeFilter !== null) {
-                var typeFilter = parserState.typeFilter.replace(/^const$/, "constant");
+                var typeFilter = parserState.typeFilter;
+                if (typeFilter === "const") {
+                    typeFilter = "constant";
+                }
                 query.typeFilter = itemTypeFromName(typeFilter);
             }
         } catch (err) {