Annotate ValDef package objects when using -experimental

jchyb · jchyb · commit 80ce5899422b · 2024-11-14T14:49:23.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Checking.scala b/compiler/src/dotty/tools/dotc/typer/Checking.scala
@@ -814,7 +814,6 @@ object Checking {
             case tpd.PackageDef(_, contents) => apply(x, contents)
             case typeDef @ tpd.TypeDef(_, temp: Template) if typeDef.symbol.isPackageObject =>
               apply(x, temp.body)
-            case vdef: tpd.ValDef if vdef.symbol.isPackageObject => x // ValDef(new PackageObject)
             case mdef: tpd.MemberDef => addIfNotExperimental(mdef.symbol)
             case _ => x
           }

Original file line number	Diff line number	Diff line change
`@@ -814,7 +814,6 @@ object Checking {`
`814`	`814`	`case tpd.PackageDef(_, contents) => apply(x, contents)`
`815`	`815`	`case typeDef @ tpd.TypeDef(_, temp: Template) if typeDef.symbol.isPackageObject =>`
`816`	`816`	`apply(x, temp.body)`
`817`		`- case vdef: tpd.ValDef if vdef.symbol.isPackageObject => x // ValDef(new PackageObject)`
`818`	`817`	`case mdef: tpd.MemberDef => addIfNotExperimental(mdef.symbol)`
`819`	`818`	`case _ => x`
`820`	`819`	`}`