// The constructor that doesn't give a reason should never be called. We need
  // to define it because several container types require such a constructor.
  why_valid_t() : why_valid_t([] { return "<unknown reason>"; }) { assert(0); }

  // The constructor that doesn't give a reason should never be called
  why_valid_t() = delete;