diff options
author | Martin Odersky <odersky@gmail.com> | 2015-07-20 18:12:04 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 18:12:16 +0200 |
commit | 4aa1d5e1d9e4edfc1df6161504861840b24687ae (patch) | |
tree | 2bb6a57e65a8f69d490a52a7c2b80cc649afb294 /src/dotty/tools/dotc/core/TypeComparer.scala | |
parent | ab6e5cebebe8c59901413f89281073d6eec7f8e1 (diff) | |
download | dotty-4aa1d5e1d9e4edfc1df6161504861840b24687ae.tar.gz dotty-4aa1d5e1d9e4edfc1df6161504861840b24687ae.tar.bz2 dotty-4aa1d5e1d9e4edfc1df6161504861840b24687ae.zip |
Fix problem in typeParams
Accidentally forwarded to rawTypeParams. This solved the problem with mismatching
type params in appliedTo that was caught in testLifted.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeComparer.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeComparer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index 9e86a22a7..eb1dcacdd 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -634,7 +634,7 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling { // if (tp.isLambda != tp.isHK) println(i"discrepancy for $tp, isLambda = ${tp.isLambda}, isHK = ${tp.isHK}") val name = target.refinedName (name.isLambdaArgName || (name eq tpnme.hkApply)) && - tp.exists && !tp.isLambda // we do encounter Lambda classes without any arguments here @@@ check whether this makes sense. + tp.exists && !tp.isLambda // we do encounter Lambda classes without any arguments here } /** Narrow gadt.bounds for the type parameter referenced by `tr` to include |