Check for experimental annotations only in non-experimental scopes

Author: nicolasstucki

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

@@ -962,7 +962,7 @@ object RefChecks {
       new Checker().traverse(sym.info)
 
   private def checkExperimentalAnnots(sym: Symbol)(using Context): Unit =
-    if !sym.isExperimental then
+    if !sym.isInExperimentalScope then
       for annot <- sym.annotations if annot.symbol.isExperimental do
         Feature.checkExperimentalDef(annot.symbol, annot.tree)
 

tests/neg-custom-args/no-experimental/experimentalAnnot.scala

@@ -8,3 +8,15 @@ def test1: Unit = ()
 @experimental
 @myExperimentalAnnot
 def test2: Unit = ()
+
+@experimental
+class Foo {
+  @myExperimentalAnnot
+  def test3: Unit = ()
+
+  def test4: Unit = {
+    @myExperimentalAnnot
+    val f: Unit = ()
+    f
+  }
+}