diff options
| -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 } |