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