Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion compiler/src/dotty/tools/dotc/typer/Dynamic.scala
Original file line number Diff line number Diff line change
Expand Up @@ -245,7 +245,7 @@ trait Dynamic {
if tpe.classSymbol.isDerivedValueClass && qual.tpe <:< defn.ReflectSelectableTypeRef then
val genericUnderlying = ValueClasses.valueClassUnbox(tpe.classSymbol.asClass)
val underlying = tpe.select(genericUnderlying).widen.resultType
New(tpe.widen, tree.cast(underlying) :: Nil)
New(tpe.widen.dealias, tree.cast(underlying) :: Nil)
else
tree
maybeBoxed.cast(tpe)
Expand Down
8 changes: 8 additions & 0 deletions tests/pos/i24056.scala
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
trait DFBit
final class DFVal[+T, +M](val value: Int) extends AnyVal
type DFValOf[+T] = DFVal[T, Any]

class Top:
val dmn1 = new scala.reflect.Selectable:
val o: DFValOf[DFBit] = ???
val x = dmn1.o
13 changes: 13 additions & 0 deletions tests/run/i24056.scala
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
trait DFBit
final class DFVal[+T, +M](val value: Int) extends AnyVal
type DFValOf[+T] = DFVal[T, Any]

class Top:
val dmn1 = new scala.reflect.Selectable:
val o: DFValOf[DFBit] = DFVal(42)
val x: DFValOf[DFBit] = dmn1.o

object Test:
def main(args: Array[String]): Unit =
val t = Top()
assert(t.x.value == 42)
Loading