From f4ea46a5b36505464825219abcf0106506de2b20 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Mon, 18 Jun 2018 21:39:46 +0200 Subject: [PATCH] Extend collision prevention to every type --- src/librustdoc/html/static/main.js | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index d0db6806c82..27fb6d1a2a2 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -467,11 +467,7 @@ obj.displayPath = pathSplitter(res[0]); obj.fullPath = obj.displayPath + obj.name; // To be sure than it some items aren't considered as duplicate. - if (obj.ty === TY_KEYWORD) { - obj.fullPath += '|k'; - } else if (obj.ty === TY_MACRO) { - obj.fullPath += '|m'; - } + obj.fullPath += '|' + obj.ty; obj.href = res[1]; out.push(obj); if (out.length >= MAX_RESULTS) {