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&editio...