Response to organicoman:Yes, but the proposal has also failed to address owner of the memory owning the reference - the examples presented all assume lexically bound lifetime - which permits the use of a reference - but this fails for any code where the ability to guarantee lexical lifetime of the pointer being referenced is not possible.My proposal main goal is to tackle the lexically bound lifetime and its derivatives forms, then after analyzing the impact we can think of a generalized way.And even if it looks easy to analyze by a static analyzer, that is true only when you have the source code, but if you are calling library functions (like dll or so) there is no way for the static analyzer to parse through them.