From d7d538a8c493b52ffc76ac1aa325ad4e516bb3e9 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Sun, 17 Apr 2022 01:43:26 +0200 Subject: Fix some corner cases --- src/librustdoc/html/static/js/search.js | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'src/librustdoc/html/static') diff --git a/src/librustdoc/html/static/js/search.js b/src/librustdoc/html/static/js/search.js index 5996fa7c8ad..a5b4847f99c 100644 --- a/src/librustdoc/html/static/js/search.js +++ b/src/librustdoc/html/static/js/search.js @@ -176,11 +176,14 @@ window.initSearch = function(rawSearchIndex) { throw new Error("Cannot use literal search when there is more than one element"); } parserState.pos += 1; + var start = parserState.pos; var end = getIdentEndPosition(parserState); if (parserState.pos >= parserState.length) { throw new Error("Unclosed `\"`"); } else if (parserState.userQuery[end] !== "\"") { throw new Error(`Unexpected \`${parserState.userQuery[end]}\` in a string element`); + } else if (start === end) { + throw new Error("Cannot have empty string element"); } // To skip the quote at the end. parserState.pos += 1; @@ -657,11 +660,6 @@ window.initSearch = function(rawSearchIndex) { query.literalSearch = parserState.totalElems > 1; } query.foundElems = query.elems.length + query.returned.length; - if (query.foundElems === 0 && parserState.length !== 0) { - // In this case, we'll simply keep whatever was entered by the user... - query.elems.push(createQueryElement(query, parserState, userQuery, [], false)); - query.foundElems += 1; - } return query; } -- cgit 1.4.1-3-g733a5