Skip to content

Use DroplessArena where we know the type doesn't need drop#78134

Merged
bors merged 2 commits intorust-lang:masterfrom
bugadani:arena-nodrop
Oct 22, 2020

Commits

Commits on Oct 20, 2020