fix: bad indent in doc comments
Sometimes, in doc comments, there are 3 spaces + 1 instead of 4 spaces + 1. To make it coherent with the rest of the clippy codebase, I `fd -t f -X sed -E -i 's,/// (\S),/// \1,g'` and manually verified and fixed the relevant part of code that had bad indentation.
This commit is contained in:
parent
775a5c2712
commit
b23fcb0147
12 changed files with 24 additions and 24 deletions
|
|
@ -4447,13 +4447,13 @@ declare_clippy_lint! {
|
|||
/// ### Example
|
||||
/// ```no_run
|
||||
/// fn foo(values: &[u8]) -> bool {
|
||||
/// values.iter().any(|&v| v == 10)
|
||||
/// values.iter().any(|&v| v == 10)
|
||||
/// }
|
||||
/// ```
|
||||
/// Use instead:
|
||||
/// ```no_run
|
||||
/// fn foo(values: &[u8]) -> bool {
|
||||
/// values.contains(&10)
|
||||
/// values.contains(&10)
|
||||
/// }
|
||||
/// ```
|
||||
#[clippy::version = "1.86.0"]
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue