fix for latest nightly#574

Merged

RalfJung merged 10 commits intomasterfrom

Dec 18, 2018

Commits on Dec 13, 2018

Commits on Dec 14, 2018

bump Rust nightly
RalfJung
committed

Commits on Dec 15, 2018

Commits on Dec 17, 2018

Adjust tests for funciton pointer changes
oli-obk
committed

Commits on Dec 18, 2018