Skip to content

rustc_metadata: Encode the set of "rustdoc-reachable" def ids to metadata#107237

Closed
petrochenkov wants to merge 1 commit intorust-lang:masterfrom
petrochenkov:encdocreach

Commits

Commits on Jan 23, 2023