Fixed foc of isUnboudnedGenericArray

odersky · odersky · commit df0e140645ec · 2015-05-08T11:11:11.000+02:00
diff --git a/src/dotty/tools/dotc/core/TypeErasure.scala b/src/dotty/tools/dotc/core/TypeErasure.scala
@@ -170,9 +170,9 @@ object TypeErasure {
     }
   }
 
-  /** Is `tp` an abstract type or polymorphic type parameter that has `Any`
-   *  as upper bound and that is not Java defined? Arrays of such types are
-   *  erased to `Object` instead of `ObjectArray`.
+  /** Is `tp` an abstract type or polymorphic type parameter that has `Any`, `AnyVal`,
+   *  or a universal trait as upper bound and that is not Java defined? Arrays of such types are
+   *  erased to `Object` instead of `Object[]`.
    */
   def isUnboundedGeneric(tp: Type)(implicit ctx: Context): Boolean = tp.dealias match {
     case tp: TypeRef =>

Original file line number	Diff line number	Diff line change
`@@ -170,9 +170,9 @@ object TypeErasure {`
`170`	`170`	`}`
`171`	`171`	`}`
`172`	`172`
`173`		- /** Is `tp` an abstract type or polymorphic type parameter that has `Any`
`174`		`- * as upper bound and that is not Java defined? Arrays of such types are`
`175`		- * erased to `Object` instead of `ObjectArray`.
	`173`	+ /** Is `tp` an abstract type or polymorphic type parameter that has `Any`, `AnyVal`,
	`174`	`+ * or a universal trait as upper bound and that is not Java defined? Arrays of such types are`
	`175`	+ * erased to `Object` instead of `Object[]`.
`176`	`176`	`*/`
`177`	`177`	`def isUnboundedGeneric(tp: Type)(implicit ctx: Context): Boolean = tp.dealias match {`
`178`	`178`	`case tp: TypeRef =>`