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