diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-06-22 09:50:53 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:35:04 +0200 |
| commit | de5d8fe696cdf7acfa80991ceae322aedb1dfd20 (patch) | |
| tree | 6e04f817b769cefa754617c09f5588488c1f8b32 /src/dotty/tools | |
| parent | e0db04db51bc17d311b95a6f65913d138a955b6c (diff) | |
| download | dotty-de5d8fe696cdf7acfa80991ceae322aedb1dfd20.tar.gz dotty-de5d8fe696cdf7acfa80991ceae322aedb1dfd20.tar.bz2 dotty-de5d8fe696cdf7acfa80991ceae322aedb1dfd20.zip | |
Skip typeBounds when computing upperBound
Diffstat (limited to 'src/dotty/tools')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 593dcb967..38a7c14b1 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2729,7 +2729,7 @@ object Types { override def computeHash = doHash(tycon, args) def upperBound(implicit ctx: Context): Type = tycon match { - case tp: TypeProxy => tp.underlying.appliedTo(args) + case tp: TypeProxy => tp.underlying.bounds.hi.appliedTo(args) case _ => defn.AnyType } |