Rename to

Author: propensive

src/core/guillotine.Guillotine.scala

@@ -29,6 +29,6 @@ object Guillotine:
     val execType = ConstantType(StringConstant(context.value.get.parts.head.split(" ").nn.head.nn))
     val bounds = TypeBounds(execType, execType)
 
-    Refinement(TypeRepr.of[Command], "Exec", bounds).asType.runtimeChecked match
+    Refinement(TypeRepr.of[Command], "Exec", bounds).asType.absolve match
       case '[type commandType <: Command; commandType] =>
         '{${Sh.Prefix.expand(context, parts)}.asInstanceOf[commandType]}

src/core/guillotine.Sh.scala

@@ -65,7 +65,7 @@ object Sh:
             escaping with '\\' is not allowed immediately before a substitution
           """)
 
-          state.runtimeChecked match
+          state.absolve match
             case State(Awaiting, false, arguments) =>
               State(Unquoted, false, arguments ++ (h :: t))
 
@@ -82,7 +82,7 @@ object Sh:
           state
 
     def parse(state: State, next: Text): State = next.chars.to(List).foldLeft(state): (state, next) =>
-      (state, next).runtimeChecked match
+      (state, next).absolve match
         case (State(Awaiting, _, arguments), ' ') =>
           State(Awaiting, false, arguments)