> In the first look Lifetime profile looks like it just tries to find the low hanging fruit cases. That's exactly right. > Can it be further extended to guara

> In the first look Lifetime profile looks like it just tries to find the low hanging fruit cases. That's exactly right. > Can it be further extended to guarantee safety guarantees in the future, or it's just a hack? I'm not sure about it. It could be extended to catch more cases, but it can't realistically be extended to create a useful C++ dialect that is really memory safe. See https://robert.ocallahan.org/2018/09/more-realistic-goals-for-c-lifetimes-10.html https://robert.ocallahan.org/2018/09/more-realistic-goals-fo....