search

zio / izumi-reflect

TypeTag without scala-reflect. Supports Scala 2 and Scala 3.
https://zio.dev/izumi-reflect
Other
141 stars 35 forks source link

Nested path dependent types should have distinct tags #363

Open notxcain opened 1 year ago

notxcain commented 1 year ago

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 commented 1 year ago

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