diff options
author | Iulian Dragos <jaguarul@gmail.com> | 2010-02-22 13:11:49 +0000 |
---|---|---|
committer | Iulian Dragos <jaguarul@gmail.com> | 2010-02-22 13:11:49 +0000 |
commit | 57d38b321e73f78e03469ad5dab23e84999a817d (patch) | |
tree | eacda0bb39b039f625567edbee4cf1c6d40eeb50 /src | |
parent | 6e061d6f2597a3e4bdc7fcf192abbdb419917b70 (diff) | |
download | scala-57d38b321e73f78e03469ad5dab23e84999a817d.tar.gz scala-57d38b321e73f78e03469ad5dab23e84999a817d.tar.bz2 scala-57d38b321e73f78e03469ad5dab23e84999a817d.zip |
Specialized types are not substituted inside ty...
Specialized types are not substituted inside type arguments. Closes
#3085, no review.
Diffstat (limited to 'src')
-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 b2dd77ccfa..27a95d1ae1 100644 --- a/src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala +++ b/src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala @@ -173,7 +173,7 @@ abstract class SpecializeTypes extends InfoTransform with TypingTransformers { override def apply(tp: Type): Type = tp match { case TypeRef(pre, sym, args) if !args.isEmpty => val pre1 = this(pre) - val args1 = args map this + val args1 = args// map this val unspecArgs = unspecializedArgs(sym, args) specializedClass.get((sym, TypeEnv.fromSpecialization(sym, args1))) match { case Some(sym1) => @@ -182,7 +182,7 @@ abstract class SpecializeTypes extends InfoTransform with TypingTransformers { case None => typeRef(pre1, sym, args1) } - case _ => mapOver(tp) + case _ => tp // mapOver(tp) } } |