fix sembr tool corner case

src/doc/rustc-dev-guide/ci/sembr/src/main.rs

@@ -83,6 +83,7 @@ fn ignore(line: &str, in_code_block: bool) -> bool {
         || line.contains(" etc.")
         || line.contains("i.e.")
         || line.contains("et. al")
+        || line.contains("<!-- date-check ")
         || line.contains('|')
         || line.trim_start().starts_with('>')
         || line.starts_with('#')

src/doc/rustc-dev-guide/src/tests/compiletest.md

@@ -788,7 +788,8 @@ only apply to the test as a whole, not to particular revisions.
 The only directives that are intended to really work when customized to a revision are
 error patterns and compiler flags.
 
-<!-- date-check jul 2023 --> The following test suites support revisions:
+<!-- date-check jul 2023 -->
+The following test suites support revisions:
 
 - ui
 - assembly