On Friday, 15 January 2021 at 14:50:00 UTC, welkam wrote:avoid redundant pointers. For instance, a type for telling the compiler that a pointer is non-owning.
I guess "non-owning" is the wrong term. I mean pointers that are redundant. Not all "non-owning" pointers are redundant.