Bridge method clash with value class

[travisbrown]

minimized code

trait TC[A] {
  def apply(a: A): Unit
}

class Foo[A](val value: A) extends AnyVal
object Foo {
  val tc = new TC[Foo[String]] {
    def apply(a: Foo[String]): Unit = ()
  }
}

Compilation output

-- Error: TC.scala:8:8 ---------------------------------------------------------
8 |    def apply(a: Foo[String]): Unit = ()
  |        ^
  |bridge generated for member method apply(a: Foo[String]): Unit in anonymous class Object with TC {...}
  |which overrides method apply(a: A): Unit in trait TC
  |clashes with definition of the member itself; both have erased type (a: Object): Unit."
1 error found

expectation

Another minimization from the Cats tests. Scala 2 is fine with this.

[odersky]

There's a long history about this bug which is really a shortcoming of the value class encoding. Given that value classes are not pursued further, and the bug would likely cost a person several weeks to fix, I am not sure we will ever fix it. I do hope there is a workaround.

[travisbrown]

@odersky We can easily work around this, thanks.

[odersky]

@travisbrown Good to know, thanks!

[bishabosha]

minimise to this

case class Box(a: Any) extends AnyVal

or perhaps this to avoid case:

class Box(a: Any) extends AnyVal
object Box extends (Any => Box)
  def apply(a: Any): Box = new Box(a)

[Jasper-M]

@bishabosha The code that Travis posted compiles fine in Scala 2, while yours will error in Scala 2 as well.

I think the bug (or just difference from scala 2, don't know...) here is that dotc thinks that Foo[String] or Foo[Int] erase to Object instead of String or Int respectively.

[smarter]

I think the bug (or just difference from scala 2, don't know...) here is that dotc thinks that Foo[String] or Foo[Int] erase to Object instead of String or Int respectively.

Yes, exactly. I'm working on a fix.