diff options
| author | Iulian Dragos <jaguarul@gmail.com> | 2009-07-08 14:12:51 +0000 |
|---|---|---|
| committer | Iulian Dragos <jaguarul@gmail.com> | 2009-07-08 14:12:51 +0000 |
| commit | f50cd496080e649af08a14ef77168d6a6f812ae1 (patch) | |
| tree | da8ffc8a18bee7c4963f3f39040527d78e536cbd /src | |
| parent | ac4542b356cc918da5e94dd11616c6d9f0d455cf (diff) | |
| download | scala-f50cd496080e649af08a14ef77168d6a6f812ae1.tar.gz scala-f50cd496080e649af08a14ef77168d6a6f812ae1.tar.bz2 scala-f50cd496080e649af08a14ef77168d6a6f812ae1.zip | |
Annotations on type parameters are added to the...
Annotations on type parameters are added to the initial symbols, not
only skolems. This fixes specialized methods
Diffstat (limited to 'src')
| -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 |