rustfmt?

[tcr]

Corollary fails in formatting its output properly, but I didn't want to do any reformatting too early (in case I'd just need to regenerate it again). Since no files are being auto-generated anymore, it'd probably be appropriate to do one massive PR using rustfmt. Or would there be reasons this is a bad idea?

One more question, since parser-c requires nightly (for now), should we use rustfmt 0.9 or rustfmt-nightly? I'm not totally aware of how much they've diverged yet.

[birkenfeld]

+1 for rustfmt.

I think 0.9 is pretty much the same as nightly right now. They both have the (new) RFC style as the default, which I think we should follow mostly.