diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-03-19 23:00:31 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-06 13:15:29 +0200 |
| commit | d101f49223ca9b3cf807125fa42af581b729d9ce (patch) | |
| tree | 3ad9ea25b1515809c0e59c4540e1e30aa7a4a084 /compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala | |
| parent | 2e04574c4791428ed43f2fb98884361b2cd4e659 (diff) | |
| download | dotty-d101f49223ca9b3cf807125fa42af581b729d9ce.tar.gz dotty-d101f49223ca9b3cf807125fa42af581b729d9ce.tar.bz2 dotty-d101f49223ca9b3cf807125fa42af581b729d9ce.zip | |
Polishings
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala b/compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala index 64621ec94..de96f644a 100644 --- a/compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala +++ b/compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala @@ -360,9 +360,9 @@ trait ConstraintHandling { if (comparedTypeLambdas.nonEmpty) { val approx = new ApproximatingTypeMap { def apply(t: Type): Type = t match { - case t @ TypeParamRef(pt: TypeLambda, n) if comparedTypeLambdas contains pt => + case t @ TypeParamRef(tl: TypeLambda, n) if comparedTypeLambdas contains tl => val effectiveVariance = if (fromBelow) -variance else variance - val bounds = pt.paramInfos(n) + val bounds = tl.paramInfos(n) if (effectiveVariance > 0) bounds.lo else if (effectiveVariance < 0) bounds.hi else NoType |