Merge pull request #9039 from dotty-staging/avoid-duplication-of-empty-array

liufengyun · web-flow · commit d853348958fb · 2020-05-25T19:23:26.000+02:00
Avoid duplication of empty array
diff --git a/library/src/scala/deriving.scala b/library/src/scala/deriving.scala
@@ -64,7 +64,7 @@ object deriving {
   }
 
   /** The empty product */
-  object EmptyProduct extends ArrayProduct(Array[AnyRef]())
+  object EmptyProduct extends ArrayProduct(Array.emptyObjectArray)
 
   /** Helper method to select a product element */
   def productElement[T](x: Any, idx: Int) =

Original file line number	Diff line number	Diff line change
`@@ -64,7 +64,7 @@ object deriving {`
`64`	`64`	`}`
`65`	`65`
`66`	`66`	`/** The empty product */`
`67`		`- object EmptyProduct extends ArrayProduct(Array[AnyRef]())`
	`67`	`+ object EmptyProduct extends ArrayProduct(Array.emptyObjectArray)`
`68`	`68`
`69`	`69`	`/** Helper method to select a product element */`
`70`	`70`	`def productElement[T](x: Any, idx: Int) =`