From 9989a06b494667bf9c122b78e424e0195867c878 Mon Sep 17 00:00:00 2001 From: Jon Pretty Date: Thu, 23 Jan 2025 19:37:25 +0100 Subject: [PATCH] Rename to --- src/core/wisteria.SumDerivationMethods.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core/wisteria.SumDerivationMethods.scala b/src/core/wisteria.SumDerivationMethods.scala index 91de144..7679c65 100644 --- 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)