Started using

Author: propensive

src/core/aviation.Timespan.scala

@@ -34,7 +34,7 @@ object Timespan:
       def milliseconds(period: Timespan & FixedDuration): Long =
         period.hours*3600000L + period.minutes*60000L + period.seconds*1000L
 
-  def apply(denomination: StandardTime, n: Int): Timespan = (denomination: @unchecked) match
+  def apply(denomination: StandardTime, n: Int): Timespan = denomination.runtimeChecked match
     case StandardTime.Year   => Timespan(n, 0, 0, 0, 0, 0)
     case StandardTime.Month  => Timespan(0, n, 0, 0, 0, 0)
     case StandardTime.Day    => Timespan(0, 0, n, 0, 0, 0)

src/core/aviation.Timing.scala

@@ -88,7 +88,7 @@ object Timing:
     infix def in (using RomanCalendar)(timezone: Timezone): LocalTime =
       val zonedTime = jt.Instant.ofEpochMilli(instant).nn.atZone(jt.ZoneId.of(timezone.name.s)).nn
 
-      val date = (zonedTime.getMonthValue: @unchecked) match
+      val date = zonedTime.getMonthValue.runtimeChecked match
         case MonthName(month) => unsafely(Date(zonedTime.getYear, month, zonedTime.getDayOfMonth))
 
       val time = ((zonedTime.getHour, zonedTime.getMinute, zonedTime.getSecond): @unchecked) match