Started using

propensive · Jan 23, 2025 · 27ea966 · 27ea966
1 parent 3e0306f
commit 27ea966
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/core/wisteria.SumDerivationMethods.scala b/src/core/wisteria.SumDerivationMethods.scala
@@ -151,7 +151,7 @@ trait SumDerivationMethods[TypeclassType[_]]:
         case _: (labelType *: moreLabelsType) =>
           type VariantType = variantType & DerivationType
           if index >= size then Unset else
-            (valueOf[labelType].asMatchable: @unchecked) match
+            valueOf[labelType].asMatchable.runtimeChecked match
               case label: String =>
                 val index2: Int & VariantIndex[DerivationType] = VariantIndex[DerivationType](index)
 
@@ -190,7 +190,7 @@ trait SumDerivationMethods[TypeclassType[_]]:
         case _: (labelType *: moreLabelsType) =>
           type VariantType = variantType & DerivationType
           if index >= size then Unset else
-            (valueOf[labelType].asMatchable: @unchecked) match
+            valueOf[labelType].asMatchable.runtimeChecked match
               case label: String =>
                 val index2: Int & VariantIndex[DerivationType] = VariantIndex[DerivationType](index)