Skip to content

Commit b0240b8

Browse files
committed
revert move to refchecks
1 parent 1f14b35 commit b0240b8

File tree

2 files changed

+11
-11
lines changed

2 files changed

+11
-11
lines changed

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

+11-1
Original file line numberDiff line numberDiff line change
@@ -52,7 +52,17 @@ class PruneErasedDefs extends MiniPhase with SymTransformer { thisTransform =>
5252
else cpy.ValDef(tree)(rhs = trivialErasedTree(tree.rhs))
5353

5454
override def transformDefDef(tree: DefDef)(using Context): Tree =
55-
RefChecks.checkNoInlineAnnoClasses(tree)
55+
def checkNoInlineAnnoClasses(tree: DefDef)(using Context): Unit =
56+
if tree.symbol.is(Inline) then
57+
new TreeTraverser {
58+
def traverse(tree: Tree)(using Context): Unit =
59+
tree match
60+
case tree: TypeDef if tree.symbol.isAnonymousClass =>
61+
report.warning(new InlinedAnonClassWarning(), tree.symbol.sourcePos)
62+
case _ => traverseChildren(tree)
63+
}.traverse(tree)
64+
65+
checkNoInlineAnnoClasses(tree)
5666
checkErasedInExperimental(tree.symbol)
5767
if !tree.symbol.isEffectivelyErased || tree.rhs.isEmpty then tree
5868
else cpy.DefDef(tree)(rhs = trivialErasedTree(tree.rhs))

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

-10
Original file line numberDiff line numberDiff line change
@@ -33,16 +33,6 @@ object RefChecks {
3333
def isStable = true
3434
}
3535

36-
def checkNoInlineAnnoClasses(tree: DefDef)(using Context): Unit =
37-
if tree.symbol.is(Inline) then
38-
new TreeTraverser {
39-
def traverse(tree: Tree)(using Context): Unit =
40-
tree match
41-
case tree: TypeDef if tree.symbol.isAnonymousClass =>
42-
report.warning(new InlinedAnonClassWarning(), tree.symbol.sourcePos)
43-
case _ => traverseChildren(tree)
44-
}.traverse(tree)
45-
4636
/** Only one overloaded alternative is allowed to define default arguments */
4737
private def checkOverloadedRestrictions(clazz: Symbol)(using Context): Unit = {
4838
// Using the default getters (such as methodName$default$1) as a cheap way of

0 commit comments

Comments
 (0)