Add specs for ControlFlow/? etc.

[ranjitjhala]

No description provided.

[nilehmann]

LGTM, but in what situation do you know a Result is an error (or ok) and use ? on it?

[ranjitjhala]

LGTM, but in what situation do you know a Result is an error (or ok) and use ? on it?

Indeed -- but with this thicket of break and continue its hard to tease apart what exactly is required.

Are you saying some of the tests are redundant?

[ranjitjhala]

(CC added them, but they looked reasonable...)

[nilehmann]

I'm wondering what prompted this. Is there some specific code that was failing that requires these specs?

[ranjitjhala]

Yes, these:

• https://github.com/flux-rs/tinyvec/blob/flux-thawed/src/arrayvec.rs#L1766-L1773
• https://github.com/flux-rs/tinyvec/blob/flux-thawed/src/arrayvec.rs#L1806-L1812

[ranjitjhala]

Have to say its quite neat how all the bits snap together nicely to make this work. Shocking!

[nilehmann]

Ah interesting. Perhaps worth adding something like that as a test