How not_null Can Improve Your Code

One of the key points of modern C++, as I’ve observed, is to be expressive and use proper types. For example, regarding null pointers, rather than just writing a comment:
void Foo(int* pInt); // pInt cannot be null
I should actually use not_null pInt.