This is a great thread! Lots of different perspectives on a difficult technical problem, plus appearances from many of my favourite Rust characters: we've got Ralf telling everyone that only abstract machines exist, boats turning up halfway through to contradict everyone, and Douman dropping by to offer the unhelpful C++ perspective.

Oh, so there's a pull request that I didn't see, the bugs don't show that it's being worked on.

I understand that there are lots of hard technical issues to be resolved, it's just the visibility of this pull request wasn't that good.

Thanks for the answer!

Very interesting thread.