diff --git a/src/doc/man/cargo-check.md b/src/doc/man/cargo-check.md
index b012e25020c..316ccd9f1b4 100644
--- a/src/doc/man/cargo-check.md
+++ b/src/doc/man/cargo-check.md
@@ -15,7 +15,8 @@ Check a local package and all of its dependencies for errors. This will
 essentially compile the packages without performing the final step of code
 generation, which is faster than running `cargo build`. The compiler will save
 metadata files to disk so that future runs will reuse them if the source has
-not been modified.
+not been modified. Some diagnostics and errors are only emitted during code
+generation, so they inherently won't be reported with `cargo check`.
 
 ## OPTIONS
 
diff --git a/src/doc/man/generated_txt/cargo-check.txt b/src/doc/man/generated_txt/cargo-check.txt
index a2751713076..d86972b382d 100644
--- a/src/doc/man/generated_txt/cargo-check.txt
+++ b/src/doc/man/generated_txt/cargo-check.txt
@@ -11,7 +11,9 @@ DESCRIPTION
        essentially compile the packages without performing the final step of
        code generation, which is faster than running cargo build. The compiler
        will save metadata files to disk so that future runs will reuse them if
-       the source has not been modified.
+       the source has not been modified. Some diagnostics and errors are only
+       emitted during code generation, so they inherently won't be reported
+       with cargo check.
 
 OPTIONS
    Package Selection
diff --git a/src/doc/src/commands/cargo-check.md b/src/doc/src/commands/cargo-check.md
index 4f66e977d97..8dbb15b2a3c 100644
--- a/src/doc/src/commands/cargo-check.md
+++ b/src/doc/src/commands/cargo-check.md
@@ -15,7 +15,8 @@ Check a local package and all of its dependencies for errors. This will
 essentially compile the packages without performing the final step of code
 generation, which is faster than running `cargo build`. The compiler will save
 metadata files to disk so that future runs will reuse them if the source has
-not been modified.
+not been modified. Some diagnostics and errors are only emitted during code
+generation, so they inherently won't be reported with `cargo check`.
 
 ## OPTIONS
 
diff --git a/src/etc/man/cargo-check.1 b/src/etc/man/cargo-check.1
index d984658e474..410d240f770 100644
--- a/src/etc/man/cargo-check.1
+++ b/src/etc/man/cargo-check.1
@@ -12,7 +12,8 @@ Check a local package and all of its dependencies for errors. This will
 essentially compile the packages without performing the final step of code
 generation, which is faster than running \fBcargo build\fR\&. The compiler will save
 metadata files to disk so that future runs will reuse them if the source has
-not been modified.
+not been modified. Some diagnostics and errors are only emitted during code
+generation, so they inherently won't be reported with \fBcargo check\fR\&.
 .SH "OPTIONS"
 .SS "Package Selection"
 By default, when no package selection options are given, the packages selected