Skip to content

Shrink hir::Ty and hir::Pat#101467

Merged
bors merged 2 commits intorust-lang:masterfrom
nnethercote:shrink-hir-Ty-Pat
Sep 8, 2022

Commits

Commits on Sep 8, 2022