diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-05-08 11:11:11 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-05-08 11:11:11 +0200 |
| commit | df0e140645ec558db8385a0d2322f159aa9bbda4 (patch) | |
| tree | 6d983e21dddb37d804e911b7391e5526224ad2de /src/dotty/tools/dotc/core/TypeErasure.scala | |
| parent | 650ef40888b585d10e0a87a4a9544c1c6e17c96f (diff) | |
| download | dotty-df0e140645ec558db8385a0d2322f159aa9bbda4.tar.gz dotty-df0e140645ec558db8385a0d2322f159aa9bbda4.tar.bz2 dotty-df0e140645ec558db8385a0d2322f159aa9bbda4.zip | |
Fixed foc of isUnboudnedGenericArray
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeErasure.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeErasure.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/core/TypeErasure.scala b/src/dotty/tools/dotc/core/TypeErasure.scala index 183b847e6..65bc5e57f 100644 --- 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 => |