diff options
author | Iulian Dragos <jaguarul@gmail.com> | 2010-05-04 09:34:55 +0000 |
---|---|---|
committer | Iulian Dragos <jaguarul@gmail.com> | 2010-05-04 09:34:55 +0000 |
commit | df78ff25e3a4742579417db81bd22fa20b70d4ed (patch) | |
tree | 2cddda1d4a7267c62206044f1e493056633d3a05 | |
parent | 37a5c47ac57bb21c46adaf8b67a4704308e2b937 (diff) | |
download | scala-df78ff25e3a4742579417db81bd22fa20b70d4ed.tar.gz scala-df78ff25e3a4742579417db81bd22fa20b70d4ed.tar.bz2 scala-df78ff25e3a4742579417db81bd22fa20b70d4ed.zip |
Closes #3378. No review.
-rw-r--r-- | src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala b/src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala index 96cc2738b4..de10a777b0 100644 --- a/src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala +++ b/src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala @@ -996,9 +996,9 @@ abstract class SpecializeTypes extends InfoTransform with TypingTransformers { localTyper.typedOperator(atPos(tree.pos)(Select(transform(qual), specMember.get.sym.name))) } else { val qual1 = transform(qual) - val specMember = qual1.tpe.member(specializedName(symbol, env)) + val specMember = qual1.tpe.member(specializedName(symbol, env)).suchThat(_.tpe matches subst(env, symbol.tpe)) if (specMember ne NoSymbol) { - log("** using spec member " + specMember) + log("** using spec member " + specMember + ": " + specMember.tpe) val tree1 = atPos(tree.pos)(Select(qual1, specMember)) if (specMember.isMethod) localTyper.typedOperator(tree1) |