diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-07-13 15:17:17 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-07-13 15:33:47 +0200 |
| commit | 18b30803952cee83580eab28068bc773fdce780e (patch) | |
| tree | 03c603f0920da2b987d9b93b5b820c099f9049e5 /src/dotty/tools/dotc/core/Types.scala | |
| parent | 0ff5354e2a5e3f29234d6d761177f9228d8da522 (diff) | |
| download | dotty-18b30803952cee83580eab28068bc773fdce780e.tar.gz dotty-18b30803952cee83580eab28068bc773fdce780e.tar.bz2 dotty-18b30803952cee83580eab28068bc773fdce780e.zip | |
Allow hk parameters in lower bounds
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 284e9535e..1bfe9cbd1 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2596,7 +2596,9 @@ object Types { case resType @ TypeAlias(alias) => resType.derivedTypeAlias(duplicate(paramNames, paramBounds, alias)) case resType @ TypeBounds(lo, hi) => - resType.derivedTypeBounds(lo, duplicate(paramNames, paramBounds, hi)) + resType.derivedTypeBounds( + if (lo.isRef(defn.NothingClass)) lo else duplicate(paramNames, paramBounds, lo), + duplicate(paramNames, paramBounds, hi)) case _ => derivedGenericType(paramNames, paramBounds, resType) } |