move to RefChecks

Author: aherlihy

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

@@ -52,21 +52,11 @@ class PruneErasedDefs extends MiniPhase with SymTransformer { thisTransform =>
     else cpy.ValDef(tree)(rhs = trivialErasedTree(tree.rhs))
 
   override def transformDefDef(tree: DefDef)(using Context): Tree =
-    checkNoInlineAnnoClasses(tree)
+    RefChecks.checkNoInlineAnnoClasses(tree)
     checkErasedInExperimental(tree.symbol)
     if !tree.symbol.isEffectivelyErased || tree.rhs.isEmpty then tree
     else cpy.DefDef(tree)(rhs = trivialErasedTree(tree.rhs))
 
-  def checkNoInlineAnnoClasses(tree: DefDef)(using Context): Unit =
-    if tree.symbol.is(Inline) then
-      new TreeTraverser {
-        def traverse(tree: Tree)(using Context): Unit =
-          tree match
-            case tree: TypeDef if tree.symbol.isAnonymousClass =>
-              report.warning(new InlinedAnonClassWarning(), tree.symbol.sourcePos)
-            case _ => traverseChildren(tree)
-      }.traverse(tree)
-
   override def transformTypeDef(tree: TypeDef)(using Context): Tree =
     checkErasedInExperimental(tree.symbol)
     tree

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

@@ -33,6 +33,16 @@ object RefChecks {
     def isStable = true
   }
 
+  def checkNoInlineAnnoClasses(tree: DefDef)(using Context): Unit =
+    if tree.symbol.is(Inline) then
+      new TreeTraverser {
+        def traverse(tree: Tree)(using Context): Unit =
+          tree match
+            case tree: TypeDef if tree.symbol.isAnonymousClass =>
+              report.warning(new InlinedAnonClassWarning(), tree.symbol.sourcePos)
+            case _ => traverseChildren(tree)
+      }.traverse(tree)
+
   /** Only one overloaded alternative is allowed to define default arguments */
   private def checkOverloadedRestrictions(clazz: Symbol)(using Context): Unit = {
     // Using the default getters (such as methodName$default$1) as a cheap way of