Skip to content

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

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

Commits

Commits on Jul 27, 2022