Closes #14340

- add dynamic access to value classes field

Author: s.bazarsadaev

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.core.TypeErasure.ErasedValueType
+import reporting.*
 
 object Dynamic {
   private def isDynamicMethod(name: Name): Boolean =
@@ -215,10 +216,7 @@ trait Dynamic {
       errorTree(tree, em"Structural access not allowed on method $name because it $reason")
 
     fun.tpe.widen match {
-      case tpe: ValueType =>
-        structuralCall(nme.selectDynamic, Nil).cast(tpe)
-
-      case tpe: MethodType =>
+      case tpe @ (_: MethodType | _: ErasedValueType) =>
         def isDependentMethod(tpe: Type): Boolean = tpe match {
           case tpe: MethodType =>
             tpe.isParamDependent ||
@@ -239,6 +237,9 @@ trait Dynamic {
           structuralCall(nme.applyDynamic, classOfs).cast(tpe.finalResultType)
         }
 
+      case tpe: ValueType =>
+        structuralCall(nme.selectDynamic, Nil).cast(tpe)
+
       // (@allanrenucci) I think everything below is dead code
       case _: PolyType =>
         fail("is polymorphic")

tests/pos/i14340.scala

@@ -0,0 +1,10 @@
+object i14340 {
+  class Foo(val value: Int) extends AnyVal
+
+  class Container extends reflect.Selectable
+
+  val cont = new Container :
+    val foo = new Foo(1)
+
+  println(cont.foo.value)
+}