From f50cd496080e649af08a14ef77168d6a6f812ae1 Mon Sep 17 00:00:00 2001 From: Iulian Dragos Date: Wed, 8 Jul 2009 14:12:51 +0000 Subject: 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 --- src/compiler/scala/tools/nsc/typechecker/Namers.scala | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src') 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 -- cgit v1.2.3