When I try to run cargo test on corollary (after pointing it to a manually-fixed version of petgraph 0.1.18 since that broke on nightly recently), it fails to parse any file because there is no end brace inserted after then { "something.
If I understand the layout rules correctly, there should be no need to insert braces for if-then-else expressions.
When I try to run
cargo teston corollary (after pointing it to a manually-fixed version of petgraph 0.1.18 since that broke on nightly recently), it fails to parse any file because there is no end brace inserted afterthen { "something.If I understand the layout rules correctly, there should be no need to insert braces for if-then-else expressions.