Rollup of 8 pull requests

[Centril]

Successful merges:

• Use a proc macro to declare preallocated symbols #59655 (Use a proc macro to declare preallocated symbols)
• update polonius-engine #59856 (update polonius-engine)
• HirIdify hir::Def #59877 (HirIdify hir::Def)
• Remove duplicated redundant spans #59896 (Remove duplicated redundant spans)
• Remove [mut] syntax in pin docs #59900 (Remove [mut] syntax in pin docs)
• Make BufWriter use get_mut instead of manipulating inner in Write implementation #59906 (Make BufWriter use get_mut instead of manipulating inner in Write implementation)
• Fix cross-crate visibility of fictive variant constructors #59936 (Fix cross-crate visibility of fictive variant constructors)
• Add missing backtick to Symbol documentation. #59957 (Add missing backtick to Symbol documentation.)

Failed merges:

r? @ghost

[Centril]

@bors r+ p=8

[bors]

📌 Commit 39b6086 has been approved by Centril

[bors]

🔒 Merge conflict

This pull request and the master branch diverged in a way that cannot be automatically merged. Please rebase on top of the latest master branch, and let the reviewer approve again.

How do I rebase?

Assuming self is your fork and upstream is this repository, you can resolve the conflict following these steps:

1. git checkout rollup-hd8vobi(switch to your branch)
2. git fetch upstream master(retrieve the latest master)
3. git rebase upstream/master -p(rebase on top of it)
4. Follow the on-screen instruction to resolve conflicts (check git status if you got lost).
5. git push self rollup-hd8vobi --force-with-lease(update this PR)

You may also read Git Rebasing to Resolve Conflicts by Drew Blessing for a short tutorial.

Please avoid the "Resolve conflicts" button on GitHub. It uses git merge instead of git rebase which makes the PR commit history more difficult to read.

Sometimes step 4 will complete without asking for resolution. This is usually due to difference between how Cargo.lock conflict is handled during merge and rebase. This is normal, and you should still perform step 5 to update this PR.

Error message

warning: Cannot merge binary files: Cargo.lock (HEAD vs. heads/homu-tmp)
Auto-merging Cargo.lock
CONFLICT (content): Merge conflict in Cargo.lock
Automatic merge failed; fix conflicts and then commit the result.