From de5d8fe696cdf7acfa80991ceae322aedb1dfd20 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 22 Jun 2016 09:50:53 +0200 Subject: Skip typeBounds when computing upperBound --- src/dotty/tools/dotc/core/Types.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/dotty/tools') 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 } -- cgit v1.2.3