Skip to content

use new visitor to erase regions#32482

Merged
bors merged 1 commit intorust-lang:masterfrom
nikomatsakis:erase-via-visitor
Mar 26, 2016
Merged

use new visitor to erase regions#32482
bors merged 1 commit intorust-lang:masterfrom
nikomatsakis:erase-via-visitor

Commits

Commits on Mar 25, 2016