address more FIXME whose associated issues were marked as closed#45097
Merged
bors merged 3 commits intorust-lang:masterfrom Oct 17, 2017
Merged
address more FIXME whose associated issues were marked as closed#45097bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom