Update for https://github.com/rust-lang/rust/pull/42959

[SimonSapin]

No description provided.

[Gankra]

ping me when this is ready to land

[SimonSapin]

I suppose we still have to figure out which parts of #42959 are desired. In the meantime, could you push this to a branch of this repo so that https://travis-ci.org/rust-lang/rust/jobs/253789889 doesn’t fail to update the submodule?

[Gankra]

uhh is it possible for you to submit the PR to a branch?

[SimonSapin]

Yes, but a branch other than master needs to exist first.

Or you can do something like git fetch origin pull/32/head && git push origin FETCH_HEAD:nonzero-checked

[Gankra]

if only there were SOME WAY to not have to deal with circular dependencies..........................

[Gankra]

Added branch https://github.com/rust-lang-nursery/nomicon/tree/42959

[Gankra]

#33 is the replacement for this

[Gankra]

something something need to merge this to master properly