[axilmar]

My idea for C++ memory safety would be compile time reference counting.

I.e. the compiler/tool to go through the code, as if it was executing, and apply reference counting to objects, revealing whether an object will be destroyed normally, prematurely or never.

This is what we actually do as humans by the way, when we are developing an algorithm in C++ with manual memory management. We do it implicitly though.

[hawk_]

My idea is to use your solution to solve the halting problem.