diff --git a/src/doc/book b/src/doc/book
index af415fc6c8a68..1d7c3e6abec2d 160000
--- a/src/doc/book
+++ b/src/doc/book
@@ -1 +1 @@
-Subproject commit af415fc6c8a6823dfb4595074f27d5a3e9e2fe49
+Subproject commit 1d7c3e6abec2d5a9bfac798b29b7855b95025426
diff --git a/src/doc/nomicon b/src/doc/nomicon
index 60f0b30d8ec1c..23fc2682f8fcb 160000
--- a/src/doc/nomicon
+++ b/src/doc/nomicon
@@ -1 +1 @@
-Subproject commit 60f0b30d8ec1c9eb5c2582f2ec55f1094b0f8c42
+Subproject commit 23fc2682f8fcb887f77d0eaabba708809f834c11
diff --git a/src/doc/reference b/src/doc/reference
index 752eab01cebdd..8efb980568672 160000
--- a/src/doc/reference
+++ b/src/doc/reference
@@ -1 +1 @@
-Subproject commit 752eab01cebdd6a2d90b53087298844c251859a1
+Subproject commit 8efb9805686722dba511b7b27281bb6b77d32130
diff --git a/src/tools/cargo b/src/tools/cargo
index 344c4567c634a..367fd9f213750 160000
--- a/src/tools/cargo
+++ b/src/tools/cargo
@@ -1 +1 @@
-Subproject commit 344c4567c634a25837e3c3476aac08af84cf9203
+Subproject commit 367fd9f213750cd40317803dd0a5a3ce3f0c676d
diff --git a/src/tools/compiletest/src/directives.rs b/src/tools/compiletest/src/directives.rs
index 51eac58c971eb..dfb0221e667a9 100644
--- a/src/tools/compiletest/src/directives.rs
+++ b/src/tools/compiletest/src/directives.rs
@@ -1,8 +1,10 @@
-use std::collections::HashSet;
+use std::collections::{HashMap, HashSet};
 use std::process::Command;
+use std::sync::OnceLock;
 use std::{env, fs};
 
 use camino::{Utf8Path, Utf8PathBuf};
+use regex::Regex;
 use semver::Version;
 use tracing::*;
 
@@ -46,6 +48,7 @@ impl DirectivesCache {
 #[derive(Default)]
 pub(crate) struct EarlyProps {
     pub(crate) revisions: Vec<String>,
+    pub(crate) unused_revision_names: Vec<String>,
 }
 
 impl EarlyProps {
@@ -64,6 +67,7 @@ impl EarlyProps {
             // (dummy comment to force args into vertical layout)
             &mut |ln: &DirectiveLine<'_>| {
                 config.parse_and_update_revisions(ln, &mut props.revisions);
+                config.parse_and_update_unused_revisions(ln, &mut props.unused_revision_names);
             },
         );
 
@@ -74,6 +78,75 @@ impl EarlyProps {
 
         props
     }
+
+    pub fn check_unknown_revisions(
+        &self,
+        file_directives: &FileDirectives<'_>,
+        contents: &str,
+        path: &Utf8Path,
+    ) {
+        // If a wildcard appears in `unused-revision-names`, skip all revision name
+        // checking for this file.
+        if self.unused_revision_names.contains(&"*".to_string()) {
+            return;
+        }
+
+        let mut poisoned = false;
+
+        // Fail if any revision names appear in both places, since that's probably a mistake.
+        for rev in &self.revisions {
+            if self.unused_revision_names.contains(&rev) {
+                eprintln!(
+                    "revision name [{rev}] appears in both `revisions` and `unused-revision-names` in {path}"
+                );
+                poisoned = true;
+            }
+        }
+
+        // Maps each mentioned revision to the first line it was mentioned on.
+        let mut mentioned_revisions = HashMap::<&str, usize>::new();
+        let mut add_mentioned_revision = |line_number: usize, revision| {
+            let first_line = mentioned_revisions.entry(revision).or_insert(line_number);
+            *first_line = (*first_line).min(line_number);
+        };
+
+        // Scan all `//@` headers to find mentioned revisions.
+        for ln in &file_directives.lines {
+            if let Some(rev) = ln.revision {
+                add_mentioned_revision(ln.line_number, rev);
+            }
+        }
+
+        // Scan all `//[rev]~` error annotations to find mentioned revisions.
+        for_each_error_annotation_revision(
+            contents,
+            &mut |ErrorAnnRev { line_number, revision }| {
+                add_mentioned_revision(line_number, revision);
+            },
+        );
+
+        // Compute the set of revisions that were mentioned but not declared,
+        // sorted by the first line number they appear on.
+        let mut bad_revisions = mentioned_revisions
+            .into_iter()
+            .filter(|(rev, _)| {
+                !self.revisions.iter().any(|r| r == rev)
+                    && !self.unused_revision_names.iter().any(|r| r == rev)
+            })
+            .map(|(rev, line_number)| (line_number, rev))
+            .collect::<Vec<_>>();
+        bad_revisions.sort();
+
+        for (line_number, rev) in bad_revisions {
+            eprintln!("unknown revision [{rev}] at {path}:{line_number}");
+            poisoned = true;
+        }
+
+        if poisoned {
+            eprintln!("errors encountered during revision checking: {}", path);
+            panic!("errors encountered during revision checking");
+        }
+    }
 }
 
 #[derive(Clone, Debug)]
@@ -775,6 +848,31 @@ impl TestProps {
     }
 }
 
+struct ErrorAnnRev<'a> {
+    line_number: usize,
+    revision: &'a str,
+}
+
+fn for_each_error_annotation_revision<'a>(
+    contents: &'a str,
+    callback: &mut dyn FnMut(ErrorAnnRev<'a>),
+) {
+    let error_regex = {
+        // Simplified from the regex used by `parse_expected` in `src/tools/compiletest/src/errors.rs`,
+        // because we only care about extracting revision names.
+        static RE: OnceLock<Regex> = OnceLock::new();
+        RE.get_or_init(|| Regex::new(r"//\[(?<revs>[^]]*)\]~").unwrap())
+    };
+
+    for (line_number, line) in (1..).zip(contents.lines()) {
+        let Some(captures) = error_regex.captures(line) else { continue };
+
+        for revision in captures.name("revs").unwrap().as_str().split(',') {
+            callback(ErrorAnnRev { line_number, revision });
+        }
+    }
+}
+
 pub(crate) struct CheckDirectiveResult<'ln> {
     is_known_directive: bool,
     trailing_directive: Option<&'ln str>,
@@ -919,6 +1017,25 @@ impl Config {
         }
     }
 
+    fn parse_and_update_unused_revisions(
+        &self,
+        line: &DirectiveLine<'_>,
+        existing: &mut Vec<String>,
+    ) {
+        if let Some(raw) = self.parse_name_value_directive(line, "unused-revision-names") {
+            let &DirectiveLine { file_path: testfile, .. } = line;
+            let mut duplicates: HashSet<_> = existing.iter().cloned().collect();
+
+            for revision in raw.split_whitespace() {
+                if !duplicates.insert(revision.to_string()) {
+                    panic!("duplicate revision: `{}` in line `{}`: {}", revision, raw, testfile);
+                }
+
+                existing.push(revision.to_string());
+            }
+        }
+    }
+
     fn parse_env(nv: String) -> (String, String) {
         // nv is either FOO or FOO=BAR
         // FIXME(Zalathar): The form without `=` seems to be unused; should
diff --git a/src/tools/compiletest/src/lib.rs b/src/tools/compiletest/src/lib.rs
index 11a462c3d44a6..3505670686387 100644
--- a/src/tools/compiletest/src/lib.rs
+++ b/src/tools/compiletest/src/lib.rs
@@ -868,6 +868,8 @@ fn make_test(cx: &TestCollectorCx, collector: &mut TestCollector, testpaths: &Te
     let file_directives = FileDirectives::from_file_contents(&test_path, &file_contents);
     let early_props = EarlyProps::from_file_directives(&cx.config, &file_directives);
 
+    early_props.check_unknown_revisions(&file_directives, &file_contents, &test_path);
+
     // Normally we create one structure per revision, with two exceptions:
     // - If a test doesn't use revisions, create a dummy revision (None) so that
     //   the test can still run.
diff --git a/src/tools/tidy/src/main.rs b/src/tools/tidy/src/main.rs
index 94c24f11ed12f..4874bb1b8d604 100644
--- a/src/tools/tidy/src/main.rs
+++ b/src/tools/tidy/src/main.rs
@@ -111,7 +111,7 @@ fn main() {
         check!(rustdoc_templates, &librustdoc_path);
         check!(rustdoc_json, &src_path, &ci_info);
         check!(known_bug, &crashes_path);
-        check!(unknown_revision, &tests_path);
+        // check!(unknown_revision, &tests_path); // migrated to compiletest
 
         // Checks that only make sense for the compiler.
         check!(error_codes, &root_path, &[&compiler_path, &librustdoc_path], &ci_info);