std::chrono::year_month_day::ok(3)

NAME
std::chrono::year_month_day::ok - std::chrono::year_month_day::ok

Synopsis
   constexpr bool ok() const noexcept; (since C++20)
   Checks if this year_month_day object represents a valid calendar date.

Return value
   true if this year_month_day object represents a valid calendar date, that is, the
   stored year, month, and day values are all valid and the stored day value is within
   the number of days in the given year and month. Otherwise false.

Possible implementation
   constexpr bool std::chrono::year_month_day::ok() const noexcept
   {
       return year().ok() && month().ok() && day().ok() &&
           day() <= (year()/month()/std::chrono::last).day();
   }

Example
// Run this code
 #include <chrono>
 int main()
 {
     constexpr auto ymd1 {std::chrono::day(1)/std::chrono::July/2020};
     static_assert(ymd1.ok());
     constexpr auto ymd2 {std::chrono::year(2020)/7/42};
     static_assert(not ymd2.ok());
     constexpr auto ymd3 {std::chrono::February/29/2020}; // ok, leap year
     static_assert(ymd3.ok());
     constexpr auto ymd4 = ymd3 + std::chrono::years{1}; // bad, not a leap year
     static_assert(ymd4 == std::chrono::February/29/2021 and not ymd4.ok());
     // to fix the bad date we may want to snap to the last day of the month:
     if constexpr (!ymd4.ok())
     {
         constexpr auto ymd = ymd4.year()/ymd4.month()/std::chrono::last;
         static_assert(ymd == std::chrono::February/28/2021 and ymd.ok());
     }
     // or we may want to overflow to the next month:
     if constexpr (!ymd4.ok())
     {
         constexpr auto st = std::chrono::sys_time<std::chrono::days>{ymd4};
         constexpr auto ymd = std::chrono::year_month_day{st};
         static_assert(ymd == std::chrono::March/1/2021 and ymd.ok());
     }
 }