I'm going off on a tangent here, but imagine if we could mark a function (or lambda) as follows:

   int Func(double) throw_on_nullptr

   {

        .  .  .

   }

If you try to dereference a nullptr in this function, or if you perform addition or subtraction on a nullptr, it throws std::nullptr_t.

Maybe?