]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 68dc639 e80ccd3)
Rollup merge of #101770 - aDotInTheVoid:rdj-index-clone, r=GuillaumeGomez
authorMatthias Krüger <matthias.krueger@famsik.de>
Tue, 13 Sep 2022 20:25:39 +0000 (22:25 +0200)
committerGitHub <noreply@github.com>
Tue, 13 Sep 2022 20:25:39 +0000 (22:25 +0200)
commitf04eee11578b31b0618e854873c21ce5c453f52c
tree3c3123c176fe5c86d570c18697f8598c85f47c41tree | snapshot
parent68dc6396a589c155359ef6673669c5576f54605dcommit | diff
parente80ccd3d3aea9af8d3e0972d4f73f81a99fadfcdcommit | diff
Rollup merge of #101770 - aDotInTheVoid:rdj-index-clone, r=GuillaumeGomez

Rustdoc-Json: Don't loose subitems of foreign traits.

Previously, we'd clone the index, and extend it with foreign traits. But when doing this, traits would render their subitems without them going into the index being used in the output leading to dangling ID's.

r? `@GuillaumeGomez`
Empowering everyone to build reliable and efficient software.