Fallback to executable implementation when year is out of ISO range

Closes #13712
Closes #13720

Author: josevalim

lib/elixir/lib/calendar/date.ex

@@ -1159,12 +1159,11 @@ defmodule Date do
 
   defimpl Inspect do
     def inspect(%{calendar: calendar, year: year, month: month, day: day}, _)
-        when year in -9999..9999 do
+        when calendar != Calendar.ISO or year in -9999..9999 do
       "~D[" <> calendar.date_to_string(year, month, day) <> suffix(calendar) <> "]"
     end
 
-    def inspect(%{calendar: calendar, year: year, month: month, day: day}, _)
-        when calendar == Calendar.ISO do
+    def inspect(%{calendar: Calendar.ISO, year: year, month: month, day: day}, _) do
       "Date.new!(#{Integer.to_string(year)}, #{Integer.to_string(month)}, #{Integer.to_string(day)})"
     end
 

lib/elixir/lib/calendar/datetime.ex

@@ -2079,7 +2079,8 @@ defmodule DateTime do
         )
 
       case datetime do
-        %{utc_offset: 0, std_offset: 0, time_zone: "Etc/UTC"} ->
+        %{utc_offset: 0, std_offset: 0, time_zone: "Etc/UTC", year: year}
+        when calendar != Calendar.ISO or year in -9999..9999 ->
           "~U[" <> formatted <> suffix(calendar) <> "]"
 
         _ ->

lib/elixir/lib/calendar/naive_datetime.ex

@@ -1451,10 +1451,15 @@ defmodule NaiveDateTime do
         calendar: calendar
       } = naive_datetime
 
-      formatted =
-        calendar.naive_datetime_to_string(year, month, day, hour, minute, second, microsecond)
-
-      "~N[" <> formatted <> suffix(calendar) <> "]"
+      if calendar != Calendar.ISO or year in -9999..9999 do
+        formatted =
+          calendar.naive_datetime_to_string(year, month, day, hour, minute, second, microsecond)
+
+        "~N[" <> formatted <> suffix(calendar) <> "]"
+      else
+        "NaiveDateTime.new!(#{Integer.to_string(year)}, #{Integer.to_string(month)}, #{Integer.to_string(day)}, " <>
+          "#{Integer.to_string(hour)}, #{Integer.to_string(minute)}, #{Integer.to_string(second)}, #{inspect(microsecond)})"
+      end
     end
 
     defp suffix(Calendar.ISO), do: ""

lib/elixir/test/elixir/calendar/date_test.exs

@@ -59,13 +59,13 @@ defmodule DateTest do
     date = %{~D[2000-01-01] | calendar: FakeCalendar}
     assert inspect(date) == "~D[1/1/2000 FakeCalendar]"
 
-    assert inspect(Date.new!(5_874_897, 12, 31)) == "Date.new!(5874897, 12, 31)"
-    assert inspect(Date.new!(-5_874_897, 1, 1)) == "Date.new!(-5874897, 1, 1)"
+    assert inspect(Date.new!(99999, 12, 31)) == "Date.new!(99999, 12, 31)"
+    assert inspect(Date.new!(-99999, 1, 1)) == "Date.new!(-99999, 1, 1)"
 
-    date2 = %{Date.new!(5_874_897, 12, 31) | calendar: FakeCalendar}
+    date2 = %{Date.new!(99999, 12, 31) | calendar: FakeCalendar}
 
     assert inspect(%{date2 | calendar: FakeCalendar}) ==
-             "Date.new!(5874897, 12, 31, FakeCalendar)"
+             "~D[31/12/99999 FakeCalendar]"
   end
 
   test "compare/2" do

lib/elixir/test/elixir/calendar/datetime_test.exs

@@ -140,6 +140,8 @@ defmodule DateTimeTest do
     utc_datetime = ~U[2000-01-01 23:00:07.005Z]
     assert inspect(utc_datetime) == "~U[2000-01-01 23:00:07.005Z]"
 
+    assert inspect(%{utc_datetime | year: 99999}) == "#DateTime<99999-01-01 23:00:07.005Z>"
+
     assert inspect(%{utc_datetime | calendar: FakeCalendar}) ==
              "~U[1/1/2000F23::0::7 Etc/UTC UTC 0 0 FakeCalendar]"
 

lib/elixir/test/elixir/calendar/naive_datetime_test.exs

@@ -100,6 +100,9 @@ defmodule NaiveDateTimeTest do
     assert inspect(~N[2000-01-01 23:00:07.005]) == "~N[2000-01-01 23:00:07.005]"
     assert inspect(~N[-0100-12-31 23:00:07.005]) == "~N[-0100-12-31 23:00:07.005]"
 
+    assert inspect(%{~N[2000-01-01 23:00:07.005] | year: 99999}) ==
+             "NaiveDateTime.new!(99999, 1, 1, 23, 0, 7, {5000, 3})"
+
     ndt = %{~N[2000-01-01 23:00:07.005] | calendar: FakeCalendar}
     assert inspect(ndt) == "~N[1/1/2000F23::0::7 FakeCalendar]"
   end