]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #103714 - matthiaskrgr:rollup-kajt3i8, r=matthiaskrgr
authorbors <bors@rust-lang.org>
Sat, 29 Oct 2022 09:21:35 +0000 (09:21 +0000)
committerbors <bors@rust-lang.org>
Sat, 29 Oct 2022 09:21:35 +0000 (09:21 +0000)
Rollup of 7 pull requests

Successful merges:

 - #102961 (Make `CStr::from_ptr` `const`.)
 - #103342 (Add test for issue 98634)
 - #103383 (Note scope of TAIT more accurately)
 - #103656 (Specialize ToString for Symbol)
 - #103663 (rustdoc: remove redundant CSS/DOM `div.search-container`)
 - #103664 (rustdoc-json-types: Improve ItemSummary::path docs)
 - #103704 (Add a test for TAIT used with impl/dyn Trait inside RPIT)

Failed merges:

 - #103618 (Rename some `OwnerId` fields.)

r? `@ghost`
`@rustbot` modify labels: rollup


Trivial merge