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
Merged

Use `DroplessArena` where we know the type doesn't need drop#78134
bors merged 2 commits intorust-lang:masterfrom
bugadani:arena-nodrop

Commits

Commits on Oct 20, 2020