Skip to content

Commit d97d812

Browse files
committed
Always generate companion object for value class, even with illegal params
1 parent 72a8584 commit d97d812

File tree

2 files changed

+2
-4
lines changed

2 files changed

+2
-4
lines changed

compiler/src/dotty/tools/dotc/ast/Desugar.scala

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -723,10 +723,7 @@ object desugar {
723723
else if (companionMembers.nonEmpty || companionDerived.nonEmpty || isEnum)
724724
companionDefs(anyRef, companionMembers)
725725
else if (isValueClass)
726-
impl.constr.vparamss match {
727-
case (_ :: Nil) :: _ => companionDefs(anyRef, Nil)
728-
case _ => Nil // error will be emitted in typer
729-
}
726+
companionDefs(anyRef, Nil)
730727
else Nil
731728

732729
enumCompanionRef match {

tests/pos/i7819.scala

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
class Foo()(val x: Any) extends AnyVal

0 commit comments

Comments
 (0)