Wrong erasure of path-dependent opaque type alias

[adpi2]

package example

trait Foo[T]:
  opaque type Type <: T = T

class Bar extends Foo[String]:
  def bar(x: Type): Unit = ???

If I call ErasedTypeRef.erase on the type of arg x in bar it returns Any but it should return String.

[adpi2]

A similar bug:

package example

class Value[T](v: T) extends AnyVal

class C[T <: Int]:
  def m(x: Value[T]): Unit = ???

ErasedTypeRef.erase on the type of x returns Object instead of Int