Definitely it&#x27;d be interesting. But I feel like such a thing is going to have the same issues I worry about with the ISO Core C++ lifetime checker: existing C++ code just isn&#x27;t designed for lifetimes, so you will have to rework the logic a lot to get the static analysis to pass. When you have that much manual intervention, I wonder whether you&#x27;re porting or really just rewriting—and if you&#x27;re rewriting, syntactic compatibility doesn&#x27;t matter so much.