diff options
author | Lex Spoon <lex@lexspoon.org> | 2007-11-28 05:17:14 +0000 |
---|---|---|
committer | Lex Spoon <lex@lexspoon.org> | 2007-11-28 05:17:14 +0000 |
commit | dfda38550a2d48662fde917d26dfb8e2d6c64eee (patch) | |
tree | 0a444d414e55ef39cbb184de63ef8505a070bce5 /src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | |
parent | 8c9e9f7b7d1de79b104d954035613e51e0acaaf2 (diff) | |
download | scala-dfda38550a2d48662fde917d26dfb8e2d6c64eee.tar.gz scala-dfda38550a2d48662fde917d26dfb8e2d6c64eee.tar.bz2 scala-dfda38550a2d48662fde917d26dfb8e2d6c64eee.zip |
Merge from the annots-normtrees branch.
now use compiler trees instead of reflect trees.
In many cases, annotations on types can be rewritten
instead of discarded as the types undergo various
operations. Also, -Yself-in-annots has been added.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/RefChecks.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index 1eae1b9389..5c7841651b 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -424,7 +424,7 @@ abstract class RefChecks extends InfoTransform { validateVariance(result, variance) case ExistentialType(tparams, result) => validateVariance(result, variance) - case AnnotatedType(attribs, tp) => + case AnnotatedType(attribs, tp, selfsym) => validateVariance(tp, variance) } |