diff options
author | Martin Odersky <odersky@gmail.com> | 2016-07-11 17:02:16 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 17:47:23 +0200 |
commit | 6d7bc4996d6ad2095442ebc43f59307448226fd7 (patch) | |
tree | 7cee580a3dce11cb59d232c435e90660f3dee6ea /src/dotty/tools/dotc/core/ConstraintHandling.scala | |
parent | a200695677237922fdf6f995c690cb0108ec2fc4 (diff) | |
download | dotty-6d7bc4996d6ad2095442ebc43f59307448226fd7.tar.gz dotty-6d7bc4996d6ad2095442ebc43f59307448226fd7.tar.bz2 dotty-6d7bc4996d6ad2095442ebc43f59307448226fd7.zip |
Address reviewers comments
Diffstat (limited to 'src/dotty/tools/dotc/core/ConstraintHandling.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/ConstraintHandling.scala | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/src/dotty/tools/dotc/core/ConstraintHandling.scala b/src/dotty/tools/dotc/core/ConstraintHandling.scala index 1c3bd7384..c5e3bad40 100644 --- a/src/dotty/tools/dotc/core/ConstraintHandling.scala +++ b/src/dotty/tools/dotc/core/ConstraintHandling.scala @@ -385,13 +385,7 @@ trait ConstraintHandling { case bound: PolyParam if constraint contains bound => addParamBound(bound) case _ => - var pbound = prune(bound) - if (pbound.isHK && !param.isHK) { - param match { - case EtaExpansion(tycon) if tycon.symbol.isClass => pbound = tycon - case _ => - } - } + val pbound = prune(bound) pbound.exists && ( if (fromBelow) addLowerBound(param, pbound) else addUpperBound(param, pbound)) } |