address some FIXME whose associated issues were marked as closed#56962
Merged
bors merged 16 commits intorust-lang:masterfrom nivkner:fixme_fixup4Dec 25, 2018
+54-94
Commits
Commits on Dec 19, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed