Nested path dependent types should have distinct tags

[notxcain]

This fails on 1.1.3

import izumi.reflect.Tag

trait Base {
  object Nested {
     trait Member
  }
}
object A extends Base
object B extends Base

assert(Tag[A.Nested.Member] != Tag[B.Nested.Member])

[neko-kai]

NOTE:
Reproduces on 2.2.3 - https://scastie.scala-lang.org/RvUuntRSTUirI7fjNOMpVw
But not on Scala 3 version - https://scastie.scala-lang.org/WJWCMKtZTK6Q7iGMEOqqVg

[jdegoes]

/bounty $150

[algora-pbc]

💎 $150 bounty • ZIO

Steps to solve:

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