The OP is literally a proposal to standardize modern and “safer” programming guidelines. The chain of logic comes from “Use lvalue references”, which claims th

The OP is literally a proposal to standardize modern and “safer” programming guidelines. The chain of logic comes from “Use lvalue references”, which claims that pointer are obsolete and programmers can avoid using them in most cases, other than narrow exceptions for strings, function pointers and such. But it proposes requiring a poor practice of avoiding operator ->. There are two obvious solutions here: either improve the proposal to make an exception for -> or improve the language so that -> is friendlier for static analyzers.