TagMacro: resolve parameters inside type bounds & wildcards

[neko-kai]

Replace parameters in type bounds _ >: G <: T, i.e. the following should substitute T with Int correctly:

https://scastie.scala-lang.org/O21OwKIRQ0eMdoUqkvo1fQ

import izumi.reflect.Tag

def getUpperBoundTag[T: Tag] = Tag[Set[_ <: T]]
def getLowerBoundTag[T: Tag] = Tag[Set[_ >: T]]

println(getUpperBoundTag[Int].tag)
// right now it's Set[=Int], should be Set[=?: <Nothing..Int>]

println(getLowerBoundTag[Int].tag)
// right now it's Set[=?: <T..Any>], should be Set[=?: <Int..Any>]

[jdegoes]

/bounty $150

[algora-pbc]

💎 $150 bounty • ZIO

Steps to solve:

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

[pshirshov]

A couple of notes for the potential collaborator:

• Our model already can express wildcards with type boundaries, see LightTypeTagRef#WildcardReference
• The scope of this issue is limited to extending the macro extractors (both Scala 2 and Scala 3) to preserve more information for wildcards
• TagMacro should also be improved to allow correct type parameter substitution.