Add open attribute on details which are supposed to be open by default instead of opening them with JS

Author: GuillaumeGomez

src/librustdoc/html/render/mod.rs

@@ -1305,7 +1305,7 @@ fn render_impl(
         if let Some(use_absolute) = use_absolute {
             write!(
                 w,
-                "<details class=\"rustdoc-toggle implementors-toggle\">\
+                "<details class=\"rustdoc-toggle implementors-toggle\" open>\
                      <summary>\
                          <h3 id=\"{}\" class=\"impl\"{}>\
                              <code class=\"in-band\">",
@@ -1334,7 +1334,7 @@ fn render_impl(
         } else {
             write!(
                 w,
-                "<details class=\"rustdoc-toggle implementors-toggle\">\
+                "<details class=\"rustdoc-toggle implementors-toggle\" open>\
                      <summary>\
                          <h3 id=\"{}\" class=\"impl\"{}>\
                              <code class=\"in-band\">{}</code>",

src/librustdoc/html/static/main.js

@@ -1429,8 +1429,6 @@ function hideThemeButtonState() {
                 } else if (nextTagName !== "DETAILS") {
                     e.nextElementSibling.style.display = "block";
                 }
-            } else if (e.tagName === "DETAILS") {
-                e.open = true;
             }
         });
     }