Skip to content

Update mentions to rustc_metadata::rmeta::Lazy - #99803

Merged
bors merged 1 commit into
rust-lang:masterfrom
JohnTitor:update-lazy-docs
Jul 29, 2022
Merged

bors merged 1 commit into
rust-lang:masterfrom
JohnTitor:update-lazy-docs

Commits

Commits on Jul 27, 2022