Closes #14340

- add dynamic access to value classes field

compiler/src/dotty/tools/dotc/typer/Dynamic.scala

@@ -2,20 +2,21 @@ package dotty.tools
 package dotc
 package typer
 
-import dotty.tools.dotc.ast.Trees._
+import dotty.tools.dotc.ast.Trees.*
 import dotty.tools.dotc.ast.tpd
 import dotty.tools.dotc.ast.untpd
 import dotty.tools.dotc.core.Constants.Constant
-import dotty.tools.dotc.core.Contexts._
+import dotty.tools.dotc.core.Contexts.*
 import dotty.tools.dotc.core.Names.{Name, TermName}
-import dotty.tools.dotc.core.StdNames._
-import dotty.tools.dotc.core.Types._
-import dotty.tools.dotc.core.Decorators._
+import dotty.tools.dotc.core.StdNames.*
+import dotty.tools.dotc.core.Types.*
+import dotty.tools.dotc.core.Decorators.*
 import dotty.tools.dotc.core.TypeErasure
-import util.Spans._
-import core.Symbols._
-import ErrorReporting._
-import reporting._
+import util.Spans.*
+import core.Symbols.*
+import ErrorReporting.*
+import dotty.tools.dotc.transform.ValueClasses
+import reporting.*
 
 object Dynamic {
   private def isDynamicMethod(name: Name): Boolean =
@@ -215,6 +216,10 @@ trait Dynamic {
       errorTree(tree, em"Structural access not allowed on method $name because it $reason")
 
     fun.tpe.widen match {
+      case tpe if ValueClasses.isDerivedValueClass(tpe.classSymbol) =>
+        val scall = structuralCall(nme.selectDynamic, Nil).cast(ValueClasses.underlyingOfValueClass(tpe.classSymbol.asClass))
+        New(tpe, scall :: Nil).cast(tpe)
+
       case tpe: ValueType =>
         structuralCall(nme.selectDynamic, Nil).cast(tpe)
 

tests/run/i14340.check

@@ -0,0 +1 @@
+1

tests/run/i14340.scala

@@ -0,0 +1,9 @@
+class Foo(val value: Int) extends AnyVal
+
+class Container extends reflect.Selectable
+
+val cont = new Container :
+  val foo = new Foo(1)
+
+@main def Test: Unit =
+  println(cont.foo.value)