This particular example is trivially restructured into a version that passes the current borrow checker: https://play.rust-lang.org/?version=stable&mode=debug&e

This particular example is trivially restructured into a version that passes the current borrow checker: https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=1f5aa2489f07829d12be5da9e3bf9a6e https://play.rust-lang.org/?version=stable&mode=debug&editio... It isn't the gotcha you're looking for.