Couldn't this "inverse if let" be provided with a simple macro? Is that where you encountered bugs in the borrow checker?