diff options
author | Paul Phillips <paulp@improving.org> | 2012-04-13 00:36:16 +0100 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-04-13 00:36:16 +0100 |
commit | 87551417850823f5ccde31995a596e004def139d (patch) | |
tree | d85d5584cffc6001b55bc9bf5a52d7e361fc7729 /src/compiler | |
parent | 23dd04f089fba959835ed8b187e229a6472cc311 (diff) | |
download | scala-87551417850823f5ccde31995a596e004def139d.tar.gz scala-87551417850823f5ccde31995a596e004def139d.tar.bz2 scala-87551417850823f5ccde31995a596e004def139d.zip |
Adjustment to recent fix.
Try not to break files/specialized/spec-hlists.scala along the way.
Diffstat (limited to 'src/compiler')
-rw-r--r-- | src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala b/src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala index b85ae26cf1..8d08888a1f 100644 --- a/src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala +++ b/src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala @@ -1341,11 +1341,9 @@ abstract class SpecializeTypes extends InfoTransform with TypingTransformers { val residualTargs = symbol.info.typeParams zip targs collect { case (tvar, targ) if !env.contains(tvar) || !isPrimitiveValueClass(env(tvar).typeSymbol) => targ } - if (specMember.info.typeParams.isEmpty) { - // See SI-5583. Don't know why it happens now if it didn't before. - if (residualTargs.nonEmpty) - log("!!! Type args to be applied, but symbol says no parameters: " + ((specMember.defString, residualTargs))) - + // See SI-5583. Don't know why it happens now if it didn't before. + if (specMember.info.typeParams.isEmpty && residualTargs.nonEmpty) { + log("!!! Type args to be applied, but symbol says no parameters: " + ((specMember.defString, residualTargs))) localTyper.typed(sel) } else { |