Fix the dropck doc formatting to avoid hitting four-space indent. #25987
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fix the dropck doc formatting to avoid hitting four-space indent.
This was causing
rustdoc
to interpret the part starting with(A.) ...
as a code block based on its four-space indentation, which then was treated byrustdoc
as a Rust code snippet, and thus was attempting (and failing) to parse my english as Rust code. Thus causing the compiler-docs build to fail.Independently, we should probably change
rustdoc
to not interpret four-space indents as code that needs to be tested; it seems too perilous to me at least.(But the formatting here needed to be changed either way.)
cc Issue #25699.