Spruce up docs for pydoclint rules (#15325)

crates/ruff_linter/src/rules/pydoclint/rules/check_docstring.rs

@@ -19,15 +19,15 @@ use crate::registry::Rule;
 use crate::rules::pydocstyle::settings::Convention;
 
 /// ## What it does
-/// Checks for functions with explicit returns missing a "returns" section in
+/// Checks for functions with `return` statements that do not have "Returns"
-/// their docstring.
+/// sections in their docstrings.
 ///
 /// ## Why is this bad?
-/// Docstrings missing return sections are a sign of incomplete documentation
+/// A missing "Returns" section is a sign of incomplete documentation.
-/// or refactors.
 ///
-/// This rule is not enforced for abstract methods, stubs functions, or
+/// This rule is not enforced for abstract methods or functions that only return
-/// functions that only return `None`.
+/// `None`. It is also ignored for "stub functions": functions where the body only
+/// consists of `pass`, `...`, `raise NotImplementedError`, or similar.
 ///
 /// ## Example
 /// ```python
@@ -70,14 +70,15 @@ impl Violation for DocstringMissingReturns {
 }
 
 /// ## What it does
-/// Checks for function docstrings that have a "returns" section without
+/// Checks for function docstrings with unnecessary "Returns" sections.
-/// needing one.
 ///
 /// ## Why is this bad?
-/// Functions without an explicit return should not have a returns section
+/// A function without an explicit `return` statement should not have a
-/// in their docstrings.
+/// "Returns" section in its docstring.
 ///
-/// This rule is not enforced for stub functions.
+/// This rule is not enforced for abstract methods. It is also ignored for
+/// "stub functions": functions where the body only consists of `pass`, `...`,
+/// `raise NotImplementedError`, or similar.
 ///
 /// ## Example
 /// ```python
@@ -121,15 +122,15 @@ impl Violation for DocstringExtraneousReturns {
 }
 
 /// ## What it does
-/// Checks for functions with yield statements missing a "yields" section in
+/// Checks for functions with `yield` statements that do not have "Yields" sections in
-/// their docstring.
+/// their docstrings.
 ///
 /// ## Why is this bad?
-/// Docstrings missing yields sections are a sign of incomplete documentation
+/// A missing "Yields" section is a sign of incomplete documentation.
-/// or refactors.
 ///
-/// This rule is not enforced for abstract methods, stubs functions, or
+/// This rule is not enforced for abstract methods or functions that only yield `None`.
-/// functions that only yield `None`.
+/// It is also ignored for "stub functions": functions where the body only consists
+/// of `pass`, `...`, `raise NotImplementedError`, or similar.
 ///
 /// ## Example
 /// ```python
@@ -172,14 +173,15 @@ impl Violation for DocstringMissingYields {
 }
 
 /// ## What it does
-/// Checks for function docstrings that have a "yields" section without
+/// Checks for function docstrings with unnecessary "Yields" sections.
-/// needing one.
 ///
 /// ## Why is this bad?
-/// Functions which don't yield anything should not have a yields section
+/// A function that doesn't yield anything should not have a "Yields" section
-/// in their docstrings.
+/// in its docstring.
 ///
-/// This rule is not enforced for stub functions.
+/// This rule is not enforced for abstract methods. It is also ignored for
+/// "stub functions": functions where the body only consists of `pass`, `...`,
+/// `raise NotImplementedError`, or similar.
 ///
 /// ## Example
 /// ```python
@@ -222,15 +224,17 @@ impl Violation for DocstringExtraneousYields {
 }
 
 /// ## What it does
-/// Checks for function docstrings that do not include documentation for all
+/// Checks for function docstrings that do not document all explicitly raised
-/// explicitly raised exceptions.
+/// exceptions.
 ///
 /// ## Why is this bad?
-/// If a function raises an exception without documenting it in its docstring,
+/// A function should document all exceptions that are directly raised in some
-/// it can be misleading to users and/or a sign of incomplete documentation or
+/// circumstances. Failing to document an exception that could be raised
-/// refactors.
+/// can be misleading to users and/or a sign of incomplete documentation.
 ///
-/// This rule is not enforced for abstract methods and stubs functions.
+/// This rule is not enforced for abstract methods. It is also ignored for
+/// "stub functions": functions where the body only consists of `pass`, `...`,
+/// `raise NotImplementedError`, or similar.
 ///
 /// ## Example
 /// ```python
@@ -289,14 +293,16 @@ impl Violation for DocstringMissingException {
 }
 
 /// ## What it does
-/// Checks for function docstrings that include exceptions which are not
+/// Checks for function docstrings that state that exceptions could be raised
-/// explicitly raised.
+/// even though they are not directly raised in the function body.
 ///
 /// ## Why is this bad?
 /// Some conventions prefer non-explicit exceptions be omitted from the
 /// docstring.
 ///
-/// This rule is not enforced for stub functions.
+/// This rule is not enforced for abstract methods. It is also ignored for
+/// "stub functions": functions where the body only consists of `pass`, `...`,
+/// `raise NotImplementedError`, or similar.
 ///
 /// ## Example
 /// ```python
@@ -330,6 +336,11 @@ impl Violation for DocstringMissingException {
 ///     """
 ///     return distance / time
 /// ```
+///
+/// ## Known issues
+/// It may often be desirable to document *all* exceptions that a function
+/// could possibly raise, even those which are not explicitly raised using
+/// `raise` statements in the function body.
 #[derive(ViolationMetadata)]
 pub(crate) struct DocstringExtraneousException {
     ids: Vec<String>,
@@ -849,7 +860,6 @@ pub(crate) fn check_docstring(
 
     let semantic = checker.semantic();
 
-    // Ignore stubs.
     if function_type::is_stub(function_def, semantic) {
         return;
     }