diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-03 18:41:47 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-03 18:41:47 +0100 |
commit | 5732fb2e64d72629c94f5d0d0c30360f0169abc2 (patch) | |
tree | 74b6e7d5fa963a522ac71f1930261859cfcac81e /src/dotty/tools/dotc/core/TypeApplications.scala | |
parent | ffb11f39dce0df32cedca3364727d6b56aa83014 (diff) | |
download | dotty-5732fb2e64d72629c94f5d0d0c30360f0169abc2.tar.gz dotty-5732fb2e64d72629c94f5d0d0c30360f0169abc2.tar.bz2 dotty-5732fb2e64d72629c94f5d0d0c30360f0169abc2.zip |
typeArgs should return TypeBounds for a wildcard type.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeApplications.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala index 9e5c3d5a5..d4db07ef2 100644 --- a/src/dotty/tools/dotc/core/TypeApplications.scala +++ b/src/dotty/tools/dotc/core/TypeApplications.scala @@ -204,7 +204,7 @@ class TypeApplications(val self: Type) extends AnyVal { val v = tparam.variance if (v > 0 && (lo isRef defn.NothingClass)) hi else if (v < 0 && (hi isRef defn.AnyClass)) lo - else NoType + else self // it's wildcard type; return its bounds } case _ => NoType |