Let accesors inherit @experimental annotations from accessed symvbols (…

…scala#16099) Fixes scala#16091
nmcb · Sep 26, 2022 · 709a02a · 709a02a
2 parents 8986010 + cdfc0f4
commit 709a02a
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/AccessProxies.scala b/compiler/src/dotty/tools/dotc/transform/AccessProxies.scala
@@ -80,6 +80,8 @@ abstract class AccessProxies {
       val sym = newSymbol(owner, name, Synthetic | Method, info, coord = accessed.span).entered
       if accessed.is(Private) then sym.setFlag(Final)
       else if sym.allOverriddenSymbols.exists(!_.is(Deferred)) then sym.setFlag(Override)
+      if accessed.hasAnnotation(defn.ExperimentalAnnot) then
+        sym.addAnnotation(defn.ExperimentalAnnot)
       sym
     }
 

diff --git a/tests/pos-custom-args/no-experimental/i16091.scala b/tests/pos-custom-args/no-experimental/i16091.scala
@@ -0,0 +1,9 @@
+import scala.annotation.experimental
+
+object Macro {
+  @experimental
+  inline def foo() = fooImpl
+
+  @experimental
+  private def fooImpl = ()
+}