Indirect covariant comparison involving a higher-kinded type argument fails

[neko-kai]

From zio/zio#8215

trait Container[T] {
  def getT(): T
}

trait Service[+O[_] <: Container[_]] {
  def giveHello: String
}

final case class AContainer[T](t: T) extends Container[T] {
  override def getT() = t
} 

final case class MyConcreteService() extends Service[AContainer] {
  def giveHello = "Concrete hello!"
}

object Example extends App {

  implicitly[MyConcreteService <:< Service[Container]] // true

  val left = izumi.reflect.Tag[MyConcreteService]
  val right = izumi.reflect.Tag[Service[Container]]

  println(left <:< right) // false
}

[jdegoes]

/bounty $500

[algora-pbc]

💎 $500 bounty • ZIO

Steps to solve:

1. Start working: Comment /attempt #469 with your implementation plan
2. Submit work: Create a pull request including /claim #469 in the PR body to claim the bounty
3. Receive payment: 100% of the bounty is received 2-5 days post-reward. Make sure you are eligible for payouts

Thank you for contributing to zio/izumi-reflect!

Add a bounty • Share on socials