fix(2.12): added + annotation to substituteCo

j-mie6 · j-mie6 · commit 47617f2d6b0f · 2026-01-24T17:32:47.000Z
diff --git a/parsley/shared/src/main/scala-2.12/parsley/XCompat.scala b/parsley/shared/src/main/scala-2.12/parsley/XCompat.scala
@@ -16,12 +16,12 @@ private [parsley] object XCompat {
     }
 
     private implicit class SubtitutionEq[A, B](val ev: A =:= B) extends AnyVal {
-        def substituteCo[F[_]](fa: F[A]): F[B] = fa.asInstanceOf[F[B]]
+        def substituteCo[F[+_]](fa: F[A]): F[B] = fa.asInstanceOf[F[B]]
         def substituteParsley(p: Parsley[A]): Parsley[B] = substituteCo(p)
     }
 
     implicit class SubtitutionSub[A, B](val ev: A <:< B) extends AnyVal {
-        def substituteCo[F[_]](fa: F[A]): F[B] = fa.asInstanceOf[F[B]]
+        def substituteCo[F[+_]](fa: F[A]): F[B] = fa.asInstanceOf[F[B]]
         def substituteParsley(p: Parsley[A]): Parsley[B] = substituteCo(p)
     }
 

Original file line number	Diff line number	Diff line change
`@@ -16,12 +16,12 @@ private [parsley] object XCompat {`
`16`	`16`	`}`
`17`	`17`
`18`	`18`	`private implicit class SubtitutionEq[A, B](val ev: A =:= B) extends AnyVal {`
`19`		`- def substituteCo[F[_]](fa: F[A]): F[B] = fa.asInstanceOf[F[B]]`
	`19`	`+ def substituteCo[F[+_]](fa: F[A]): F[B] = fa.asInstanceOf[F[B]]`
`20`	`20`	`def substituteParsley(p: Parsley[A]): Parsley[B] = substituteCo(p)`
`21`	`21`	`}`
`22`	`22`
`23`	`23`	`implicit class SubtitutionSub[A, B](val ev: A <:< B) extends AnyVal {`
`24`		`- def substituteCo[F[_]](fa: F[A]): F[B] = fa.asInstanceOf[F[B]]`
	`24`	`+ def substituteCo[F[+_]](fa: F[A]): F[B] = fa.asInstanceOf[F[B]]`
`25`	`25`	`def substituteParsley(p: Parsley[A]): Parsley[B] = substituteCo(p)`
`26`	`26`	`}`
`27`	`27`