@SimonSapin
Upgrade to rustc 1.20.0-nightly (ab91c70cc 2017-07-14)
a0c13dd