Fix trimming of lint docs

[camelid]

Fixes #79748.

It was removing all the indentation before.

r? @Mark-Simulacrum

[ehuss]

Thanks for taking a look at this. The second trim was a mistake in #79522. I would kinda prefer something like the following change:

diff --git a/src/tools/lint-docs/src/lib.rs b/src/tools/lint-docs/src/lib.rs
index 326b7948098..ea54a351e03 100644
--- a/src/tools/lint-docs/src/lib.rs
+++ b/src/tools/lint-docs/src/lib.rs
@@ -143,8 +143,8 @@ fn lints_from_file(&self, path: &Path) -> Result<Vec<Lint>, Box<dyn Error>> {
                     Some((lineno, line)) => {
                         let line = line.trim();
                         if let Some(text) = line.strip_prefix("/// ") {
-                            doc_lines.push(text.trim().to_string());
-                        } else if line.starts_with("///") {
+                            doc_lines.push(text.to_string());
+                        } else if line == "///" {
                             doc_lines.push("".to_string());
                         } else if line.starts_with("// ") {
                             // Ignore comments.

[camelid]

@ehuss Could you explain why you prefer that change over this one?

[ehuss]

It's just an opinion that it keeps the code simpler. There's no reason to differentiate between start/end trimming, so just the simple trim method is fine. Also, trim only needs to be called once, not in every if clause.

[camelid]

Ah, I think I got mixed up and thought that what you suggested wouldn't work. I applied your patch. This should be ready to merge now!

[Mark-Simulacrum]

@bors r+ rollup

[bors]

📌 Commit b4b66f6 has been approved by Mark-Simulacrum