]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d68b5a4 347fa7a)
Rollup merge of #107325 - petrochenkov:hiddoc2, r=GuillaumeGomez
authorYuki Okushi <jtitor@2k36.org>
Fri, 27 Jan 2023 03:57:56 +0000 (12:57 +0900)
committerGitHub <noreply@github.com>
Fri, 27 Jan 2023 03:57:56 +0000 (12:57 +0900)
rustdoc: Stop using `HirId`s

Use `LocalDefId`s instead.
Rustdoc doesn't work with item bodies, so it almost never needs fine-grained HIR IDs.

1  2 
src/librustdoc/html/markdown.rs patch | diff1 | diff2 | blob | history

diff --cc src/librustdoc/html/markdown.rs
Simple merge
Empowering everyone to build reliable and efficient software.