Skip to content

Shrink hir::def::Res#101887

Merged
bors merged 2 commits intorust-lang:masterfrom
nnethercote:shrink-Res
Sep 30, 2022
Merged

Shrink `hir::def::Res`#101887
bors merged 2 commits intorust-lang:masterfrom
nnethercote:shrink-Res

Commits

Commits on Sep 28, 2022