diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-01-05 09:35:16 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-01-05 09:35:16 +0000 |
| commit | 66c9b6a949da26ac31119ed1c4cd57d3d637cc0f (patch) | |
| tree | 91242cdb35869624abaaf40fe36702125d75ebec /src | |
| parent | b2fbd5a79f687312ae32fe117e49e171fea01993 (diff) | |
| download | scala-66c9b6a949da26ac31119ed1c4cd57d3d637cc0f.tar.gz scala-66c9b6a949da26ac31119ed1c4cd57d3d637cc0f.tar.bz2 scala-66c9b6a949da26ac31119ed1c4cd57d3d637cc0f.zip | |
closes #4044.
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/scala/tools/nsc/symtab/Types.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/symtab/Types.scala b/src/compiler/scala/tools/nsc/symtab/Types.scala index 9e97fa7aa7..be51e10659 100644 --- a/src/compiler/scala/tools/nsc/symtab/Types.scala +++ b/src/compiler/scala/tools/nsc/symtab/Types.scala @@ -5486,7 +5486,7 @@ A type's typeSymbol should never be inspected directly. def stricterBounds(as: Iterable[(Symbol, Symbol)]) { if(explainErrors) _stricterBounds ++= as } for ((hkarg, hkparam) <- hkargs zip hkparams) { - if (hkparam.typeParams.isEmpty) { // base-case: kind * + if (hkparam.typeParams.isEmpty && hkarg.typeParams.isEmpty) { // base-case: kind * if (!variancesMatch(hkarg, hkparam)) varianceMismatch(hkarg, hkparam) |