Turn on capture checking

propensive · Aug 8, 2023 · 67f4b42 · 67f4b42
1 parent 88caa0f
commit 67f4b42
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git a/src/core/time.scala b/src/core/time.scala
@@ -30,6 +30,8 @@ import scala.quoted.*
 import java.util as ju
 import java.time as jt
 
+import language.experimental.captureChecking
+
 package calendars:
   given julian: RomanCalendar() with
     def leapYear(year: Y): Boolean = year%4 == 0

diff --git a/src/core/timeapi.scala b/src/core/timeapi.scala
@@ -18,6 +18,8 @@ package anticipation
 
 import aviation.*
 
+import language.experimental.captureChecking
+
 package timeApi:
   given aviationApi: (GenericInstant[Timing.Instant] & GenericDuration[Timing.Duration]) =
     new GenericInstant[Timing.Instant] with GenericDuration[Timing.Duration]:

diff --git a/src/core/timezone.scala b/src/core/timezone.scala
@@ -28,6 +28,8 @@ import digression.*
 
 import scala.io.*
 
+import language.experimental.captureChecking
+
 object TzdbError:
   given AsMessage[Issue] =
     case Issue.CouldNotParseTime(time) => msg"could not parse time $time"