No, Safe C++ does not have that type system. I was just trying to emphasize the amount of, let's be honest, downright genius that had to go into that lifetime specification and borrow checker implementation.

For C++, it'll be about cramming lifetimes into diamond-inheritance OOP, which... feels even harder.

Safe C sounds like a much, much more believable project, if such a proposal were to exist.