From a3ef4ed946b422d0160d5279eff418ad54113d6a Mon Sep 17 00:00:00 2001
From: Michael Howell <michael@notriddle.com>
Date: Fri, 1 Dec 2023 11:58:29 -0700
Subject: [PATCH] rustdoc: make html checker a bit stricter

The old TODO comment stopped applying when
https://github.com/rust-lang/rust/pull/104129
stopped nesting the notable traits popover within the header.
---
 src/tools/html-checker/main.rs | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/tools/html-checker/main.rs b/src/tools/html-checker/main.rs
index 9b4d2c5259806..ffe817337df74 100644
--- a/src/tools/html-checker/main.rs
+++ b/src/tools/html-checker/main.rs
@@ -16,11 +16,6 @@ fn check_html_file(file: &Path) -> usize {
         "MISSING_ENDTAG_BEFORE",
         "INSERTING_TAG",
         "DISCARDING_UNEXPECTED",
-        // This error is caused by nesting the Notable Traits tooltip within an <h4> tag.
-        // The solution is to avoid doing that, but we need to have the <h4> tags for accessibility
-        // reasons, and we need the Notable Traits tooltip to help everyone understand the Iterator
-        // combinators
-        "TAG_NOT_ALLOWED_IN",
     ];
     let to_mute_s = to_mute.join(",");
     let mut command = Command::new("tidy");