Add type ascription for clarity

propensive · Oct 5, 2024 · 0ada35d · 0ada35d
1 parent ecef940
commit 0ada35d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/core/contingency.Contingency.scala b/src/core/contingency.Contingency.scala
@@ -294,7 +294,7 @@ object Contingency:
           : Expr[ResultType] =
 
     '{  val foci: Foci[FocusType] = TrackFoci()
-        val result = boundary[Option[ResultType]]: label ?=>
+        val result: Option[ResultType] = boundary[Option[ResultType]]: label ?=>
           ${  import quotes.reflect.*
 
               val cases = unwrap(track.asTerm) match