Rename to

propensive · Jan 23, 2025 · 9989a06 · 9989a06
1 parent 7d6bf31
commit 9989a06
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.runtimeChecked match
+            valueOf[labelType].asMatchable.absolve 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.runtimeChecked match
+            valueOf[labelType].asMatchable.absolve match
               case label: String =>
                 val index2: Int & VariantIndex[DerivationType] = VariantIndex[DerivationType](index)