Improve error messages for @experimental on case classes

Author: nicolasstucki

compiler/src/dotty/tools/dotc/config/Feature.scala

@@ -105,7 +105,16 @@ object Feature:
 
   def checkExperimentalDef(sym: Symbol, srcPos: SrcPos)(using Context) =
     if !isExperimentalEnabled then
-      report.error(i"$sym is marked @experimental and therefore may only be used with a nightly or snapshot version of the compiler", srcPos)
+      val symMsg =
+        if sym.hasAnnotation(defn.ExperimentalAnnot) then
+          i"$sym is marked @experimental"
+        else if sym.owner.hasAnnotation(defn.ExperimentalAnnot) then
+          i"${sym.owner} is marked @experimental"
+        else if sym.owner.companionClass.hasAnnotation(defn.ExperimentalAnnot) then
+          i"${sym.owner.companionClass} is marked @experimental"
+        else
+          i"$sym inherits @experimental"
+      report.error(s"$symMsg and therefore may only be used with a nightly or snapshot version of the compiler", srcPos)
 
   /** Check that experimental compiler options are only set for snapshot or nightly compiler versions. */
   def checkExperimentalSettings(using Context): Unit =

compiler/src/dotty/tools/dotc/transform/SymUtils.scala

@@ -265,6 +265,7 @@ object SymUtils:
       self.eq(defn.ExperimentalAnnot)
       || self.hasAnnotation(defn.ExperimentalAnnot)
       || (self.maybeOwner.isClass && self.owner.hasAnnotation(defn.ExperimentalAnnot))
+      || (self.maybeOwner.is(Module) && self.owner.companionClass.isExperimental)
 
     /** The declared self type of this class, as seen from `site`, stripping
     *  all refinements for opaque types.

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

@@ -978,15 +978,15 @@ object RefChecks {
     then
       Feature.checkExperimentalDef(sym, pos)
 
-  private def checkExperimentalTypes(tpe: Type, pos: SrcPos)(using Context): Unit =
+  private def checkExperimentalSignature(sym: Symbol, pos: SrcPos)(using Context): Unit =
     val checker = new TypeTraverser:
       def traverse(tp: Type): Unit =
         if tp.typeSymbol.isExperimental then
           Feature.checkExperimentalDef(tp.typeSymbol, pos)
         else
           traverseChildren(tp)
-    if !pos.span.isSynthetic then // avoid double errors
-      checker.traverse(tpe)
+    if !sym.owner.isExperimental && !pos.span.isSynthetic then // avoid double errors
+      checker.traverse(sym.info)
 
   private def checkExperimentalAnnots(sym: Symbol)(using Context): Unit =
     for annot <- sym.annotations if annot.symbol.isExperimental && annot.tree.span.exists do
@@ -1230,7 +1230,7 @@ class RefChecks extends MiniPhase { thisPhase =>
     checkNoPrivateOverrides(tree)
     checkDeprecatedOvers(tree)
     checkExperimentalAnnots(tree.symbol)
-    checkExperimentalTypes(tree.symbol.info, tree)
+    checkExperimentalSignature(tree.symbol, tree)
     val sym = tree.symbol
     if (sym.exists && sym.owner.isTerm) {
       tree.rhs match {
@@ -1252,7 +1252,7 @@ class RefChecks extends MiniPhase { thisPhase =>
     checkNoPrivateOverrides(tree)
     checkDeprecatedOvers(tree)
     checkExperimentalAnnots(tree.symbol)
-    checkExperimentalTypes(tree.symbol.info, tree)
+    checkExperimentalSignature(tree.symbol, tree)
     checkImplicitNotFoundAnnotation.defDef(tree.symbol.denot)
     tree
   }