Skip to content

Commit 46f4f93

Browse files
committed
Tighten condition when to check enum constructors
Fixes #11081
1 parent 5672999 commit 46f4f93

File tree

2 files changed

+6
-1
lines changed

2 files changed

+6
-1
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1193,7 +1193,7 @@ trait Checking {
11931193
checkRefsLegal(tree, cdef.symbol, allowAccess, "enum case")
11941194
}
11951195

1196-
if (stat.symbol.is(Case))
1196+
if (stat.symbol.isAllOf(EnumCase))
11971197
stat match {
11981198
case TypeDef(_, Template(DefDef(_, paramss, _, _), parents, _, _)) =>
11991199
paramss.foreach(_.foreach(check))

tests/pos/i11081.scala

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
enum Outer:
2+
case Foo
3+
object Outer:
4+
trait Bar
5+
case class Baz(bar: Bar)

0 commit comments

Comments
 (0)