Make sure the given Substitution is defined somewhere it will be found

propensive · Oct 10, 2024 · d8bb3ae · d8bb3ae
1 parent 1b3aa82
commit d8bb3ae
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/core/contextual.Insertion.scala b/src/core/contextual.Insertion.scala
@@ -18,5 +18,9 @@ package contextual
 
 import language.experimental.captureChecking
 
+object Insertion:
+  given [ValueType: Embeddable] => Substitution[ValueType.Operand, ValueType, "x"] =
+    ValueType.embed(_)
+
 trait Insertion[InputType, -ValueType]:
   def embed(value: ValueType): InputType
diff --git a/src/core/contextual.Substitution.scala b/src/core/contextual.Substitution.scala
@@ -20,9 +20,5 @@ import language.experimental.captureChecking
 
 import rudiments.*
 
-object Substitution:
-  given [ValueType: Embeddable] => Substitution[ValueType.Operand, ValueType, "x"] =
-    ValueType.embed(_)
-
 trait Substitution[InputType, -ValueType, SubstitutionType <: Label]
 extends Insertion[InputType, ValueType]