[ttytm]

Closes #19230

🤖 Generated by Copilot at 4b56aa7

Improved date validation in time module by adding leap year check in date_time_parser.v.

🤖 Generated by Copilot at 4b56aa7

• Add a new variable needs_leap_year to track if the parsed date requires a leap year or not (link)
• Assign needs_leap_year to true if the parsed month is February and the parsed day is 0 or 29, otherwise false, for different date formats (link, link, link)
• Return an invalid time error if needs_leap_year is true but the parsed year is not a leap year, to prevent invalid dates (link)

[islonely]

We're probably just gonna have to do a check for most months. The modified code needs to check for day_in_month == 30 as well or '2023-02-30' will still be allowed. Months that should only have 30 days are allowed to have 31 also. June only has 30 days but time.parse_format returns a Time object.

import time
fn main() {
    if t := time.parse_format('June 31, 2023', 'MMMM DD, YYYY') {
        println(t)
    } else {
        println('parse failed')
    }
}

[spytheman]

Needs tests too, to prevent regressions.

[spytheman]

Good work.