TagMacro: make HKTag summonable for unapplied type lambdas with type bounds

[neko-kai]

The following should work:

trait X
trait XAble[_ <: X]
class Y extends X

def getTag[F[_ <: X]: Tag.auto.T] = Tag[F[Y]]

getTag[XAble]
// Tag[XAble[Y]]

[neko-kai]

This is already fixed on Scala 3:

type `TagK<:Dep`[K[_ <: Dep]] = Tag.auto.T[K]

def t[T[_ <: Dep]: `TagK<:Dep`, A <: Dep: Tag] = Tag[T[A]]

assert(t[Trait3, Dep].tag == Tag[Trait3[Dep]].tag)

But not fixed on Scala 2.

[jdegoes]

/bounty $150

[algora-pbc]

💎 $150 bounty • ZIO

Steps to solve:

1. Start working: Comment /attempt #30 with your implementation plan
2. Submit work: Create a pull request including /claim #30 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