This seems pretty amazing. I'm really curious how it manages to avoid data races. It doesn't seem to mention anything complicated like rust lifetimes.

Also, what happens when unsafe C++ is converted to v, for example, code with iterator invalidation?

There are so many unanswered questions.