Auto merge of rust-lang#80569 - notriddle:patch-3, r=jyn514

Use Array.prototype.filter instead of open-coding

Part of rust-lang#79052, originally suggested in rust-lang#79052 (comment) by `@jyn514`

Besides making main.js smaller (always a plus), this also performs better by using the optimized filter implementation in your browser's JavaScript engine (according to `@GuillaumeGomez,` an 84% performance improvement).

Author: bors

src/librustdoc/html/static/main.js

@@ -667,13 +667,7 @@ function defocusSearchBar() {
                 results = {}, results_in_args = {}, results_returned = {},
                 split = valLower.split("::");
 
-            var length = split.length;
-            for (var z = 0; z < length; ++z) {
-                if (split[z] === "") {
-                    split.splice(z, 1);
-                    z -= 1;
-                }
-            }
+            split = split.filter(function(segment) { return segment !== ""; });
 
             function transformResults(results, isType) {
                 var out = [];