New style implicit conversion error with value classes due to identical erasure

[soronpo]

Compiler version

v3.3.1

Minimized code

class Foo[+T](val value: T) extends AnyVal

object Foo:
  given toValue[T]: Conversion[Foo[T], T] = foo => foo.value

Output

bridge generated for member method apply(foo: Playground.Foo[T]): T in anonymous class Conversion {...}
which overrides method apply(x: T): U in class Conversion
clashes with definition of the member itself; both have erased type (foo: Object): Object."

Expectation

No error.

[WojciechMazur]

@smarter would you like to take a look at this issue? AFAIK you might be experienced in value classes.

Also, there is one workaround for this issue - usage of opaque types:

object types{
  opaque type Foo[+T] = T
  extension[T](v: Foo[T]) def value: T = ???
}

object Foo:
  given toValue[T]: Conversion[types.Foo[T], T] = foo => foo.value

[soronpo]

Opaque types are not equivalent to Value Classes so this is not really a workaround.