fixup! fixup! fixup! Redesign context implementation

another missing Key type bound
typelevel · Sep 29, 2023 · 2f6fca9 · 2f6fca9
1 parent f07b4a8
commit 2f6fca9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/common/src/main/scala/org/typelevel/otel4s/context/Context.scala b/core/common/src/main/scala/org/typelevel/otel4s/context/Context.scala
@@ -64,7 +64,7 @@ object Context {
   /** A type alias for a [[`Context`]] explicitly parameterized by its
     * [[Context.Key `Key`]] type.
     */
-  type Keyed[C, K[_]] = Context[C] { type Key[A] = K[A] }
+  type Keyed[C, K[X] <: Key[X]] = Context[C] { type Key[A] = K[A] }
 
   /** Summons a [[`Context`]] that is available implicitly. */
   def apply[C](implicit c: Context[C]): Context[C] = c