Also strengthen checking condition for default arguments

odersky · odersky · commit 788ae4ee8a75 · 2021-01-13T15:56:18.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Checking.scala b/compiler/src/dotty/tools/dotc/typer/Checking.scala
@@ -1207,7 +1207,7 @@ trait Checking {
             }
           case _ =>
         }
-      else if (stat.symbol.is(Module) && stat.symbol.linkedClass.is(Case))
+      else if (stat.symbol.is(Module) && stat.symbol.linkedClass.isAllOf(EnumCase))
         stat match {
           case TypeDef(_, impl: Template) =>
             for ((defaultGetter @
diff --git a/tests/pos/i11081.scala b/tests/pos/i11081.scala
@@ -2,4 +2,5 @@ enum Outer:
   case Foo
 object Outer:
   trait Bar
-  case class Baz(bar: Bar)
+  case class Baz(bar: Bar)
+  case class Bam(bar: Bar = new Bar() {})

Original file line number	Diff line number	Diff line change
`@@ -1207,7 +1207,7 @@ trait Checking {`
`1207`	`1207`	`}`
`1208`	`1208`	`case _ =>`
`1209`	`1209`	`}`
`1210`		`- else if (stat.symbol.is(Module) && stat.symbol.linkedClass.is(Case))`
	`1210`	`+ else if (stat.symbol.is(Module) && stat.symbol.linkedClass.isAllOf(EnumCase))`
`1211`	`1211`	`stat match {`
`1212`	`1212`	`case TypeDef(_, impl: Template) =>`
`1213`	`1213`	`for ((defaultGetter @`