Implementation of the Single Entry, Multiple Exit Regions artfully
described by Cameron Zwarich in [RFC 396].

[RFC 396]: https://github.com/rust-lang/rfcs/pull/396