Allow export statements in AnyVal (#21653)

Author: hamzaremmal

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

@@ -727,7 +727,7 @@ object Checking {
         report.error(ValueClassesMayNotDefineNonParameterField(clazz, stat.symbol), stat.srcPos)
       case _: DefDef if stat.symbol.isConstructor =>
         report.error(ValueClassesMayNotDefineASecondaryConstructor(clazz, stat.symbol), stat.srcPos)
-      case _: MemberDef | _: Import | EmptyTree =>
+      case _: MemberDef | _: Import | _: Export | EmptyTree =>
       // ok
       case _ =>
         report.error(ValueClassesMayNotContainInitalization(clazz), stat.srcPos)

tests/run/export-anyval.check

@@ -0,0 +1 @@
+Hello from export

tests/run/export-anyval.scala

@@ -0,0 +1,12 @@
+class Foo(val x: String) 
+
+
+class Bar(val y: Foo) extends AnyVal:
+    export y.*
+    def foo: String = x
+end Bar
+
+@main def Test = 
+    val a = Bar(Foo("Hello from export"))
+    println(a.foo)
+