[P3611R0](https://wg21.link/p3611r0) Dealing with pointer errors: Separating static and dynamic checking (Bjarne Stroustrup)