diff --git a/newsfragments/4067.fixed.md b/newsfragments/4067.fixed.md
new file mode 100644
index 00000000000..869b6addf15
--- /dev/null
+++ b/newsfragments/4067.fixed.md
@@ -0,0 +1 @@
+fixes `missing_docs` lint to trigger on documented `#[pymodule]` functions
\ No newline at end of file
diff --git a/pyo3-macros-backend/src/module.rs b/pyo3-macros-backend/src/module.rs
index 080a279a88c..8ff720cc616 100644
--- a/pyo3-macros-backend/src/module.rs
+++ b/pyo3-macros-backend/src/module.rs
@@ -324,6 +324,7 @@ pub fn pymodule_function_impl(mut function: syn::ItemFn) -> Result<TokenStream>
 
     Ok(quote! {
         #function
+        #[doc(hidden)]
         #vis mod #ident {
             #initialization
         }
diff --git a/tests/test_compile_error.rs b/tests/test_compile_error.rs
index 38b5c4727c6..44049620598 100644
--- a/tests/test_compile_error.rs
+++ b/tests/test_compile_error.rs
@@ -53,4 +53,5 @@ fn test_compile_errors() {
     #[cfg(feature = "experimental-async")]
     #[cfg(any(not(Py_LIMITED_API), Py_3_10))] // to avoid PyFunctionArgument for &str
     t.compile_fail("tests/ui/invalid_cancel_handle.rs");
+    t.pass("tests/ui/pymodule_missing_docs.rs");
 }
diff --git a/tests/ui/pymodule_missing_docs.rs b/tests/ui/pymodule_missing_docs.rs
new file mode 100644
index 00000000000..1b196fa65e0
--- /dev/null
+++ b/tests/ui/pymodule_missing_docs.rs
@@ -0,0 +1,12 @@
+#![deny(missing_docs)]
+//! Some crate docs
+
+use pyo3::prelude::*;
+
+/// Some module documentation
+#[pymodule]
+pub fn python_module(_m: &Bound<'_, PyModule>) -> PyResult<()> {
+    Ok(())
+}
+
+fn main() {}