I'm not the person you replied to, but here's some Playground code I just wrote that might be helpful for you, based on the issue you linked: https://play.rust

I'm not the person you replied to, but here's some Playground code I just wrote that might be helpful for you, based on the issue you linked: https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=c8109722d6d834b358e8577f9fcb9e9e https://play.rust-lang.org/?version=stable&mode=debug&editio...