diff options
| author | Iulian Dragos <jaguarul@gmail.com> | 2009-07-12 10:46:32 +0000 |
|---|---|---|
| committer | Iulian Dragos <jaguarul@gmail.com> | 2009-07-12 10:46:32 +0000 |
| commit | 67d80e7a75cca991308ea2eee60618c18b02c102 (patch) | |
| tree | b7c9b4b2686b26f2de0dd23d70161987843ba652 /src/compiler/scala/tools/nsc/typechecker/Namers.scala | |
| parent | 5a0c92b0796c2e8453495b7c8086926466ce3bd2 (diff) | |
| download | scala-67d80e7a75cca991308ea2eee60618c18b02c102.tar.gz scala-67d80e7a75cca991308ea2eee60618c18b02c102.tar.bz2 scala-67d80e7a75cca991308ea2eee60618c18b02c102.zip | |
Fixed specialized method parameters.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Namers.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Namers.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Namers.scala b/src/compiler/scala/tools/nsc/typechecker/Namers.scala index 0b95590aa3..6268db7024 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Namers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Namers.scala @@ -1094,6 +1094,8 @@ trait Namers { self: Analyzer => } if (!ainfos.isEmpty) annotated.setAnnotations(ainfos) + if (annotated.isTypeSkolem) + annotated.deSkolemize.setAnnotations(ainfos) case _ => } implicit val scopeKind = TypeSigScopeKind |