Elide companion defs to a object extending AnyVal

nicolasstucki · nicolasstucki · commit 673d9bcb7af6 · 2023-08-24T14:43:12.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/ast/Desugar.scala b/compiler/src/dotty/tools/dotc/ast/Desugar.scala
@@ -820,7 +820,7 @@ object desugar {
       }
       else if (companionMembers.nonEmpty || companionDerived.nonEmpty || isEnum)
         companionDefs(anyRef, companionMembers)
-      else if (isValueClass)
+      else if isValueClass && !isObject then
         companionDefs(anyRef, Nil)
       else Nil
 
diff --git a/tests/neg/i18274.check b/tests/neg/i18274.check
@@ -0,0 +1,4 @@
+-- [E078] Syntax Error: tests/neg/i18274.scala:1:7 ---------------------------------------------------------------------
+1 |object Foo extends AnyVal // error
+  |       ^
+  |       Value class needs one val parameter
diff --git a/tests/neg/i18274.scala b/tests/neg/i18274.scala
@@ -0,0 +1 @@
+object Foo extends AnyVal // error

Original file line number	Diff line number	Diff line change
`@@ -820,7 +820,7 @@ object desugar {`
`820`	`820`	`}`
`821`	`821`	`else if (companionMembers.nonEmpty \|\| companionDerived.nonEmpty \|\| isEnum)`
`822`	`822`	`companionDefs(anyRef, companionMembers)`
`823`		`- else if (isValueClass)`
	`823`	`+ else if isValueClass && !isObject then`
`824`	`824`	`companionDefs(anyRef, Nil)`
`825`	`825`	`else Nil`
`826`	`826`