I would like to offer for discussion our ML workshop 2019 submission which has been accepted for presentation in Berlin next month:
We present a technique which could lead to a solution to RFC 686:
I would have waited for the full version to be available before advertising it to the Rust community, but since the abstract has reached social media, I’d like to have a central place to answer questions if you have any. Comments welcome!
I recommend waiting for the longer version before speculating on how this could be put into Rust, because it will present a generalisation of the idea.