diff options
| author | Martin Odersky <odersky@gmail.com> | 2007-03-06 17:43:03 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2007-03-06 17:43:03 +0000 |
| commit | 4ba667134f2a190087675c625fa9d91607fe3231 (patch) | |
| tree | fcc9c8b09d6fbefc550eb834158b5e6ff3bec1d5 /src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | |
| parent | 70e2162afee52f9e52e652e55a5ab3bbdc550214 (diff) | |
| download | scala-4ba667134f2a190087675c625fa9d91607fe3231.tar.gz scala-4ba667134f2a190087675c625fa9d91607fe3231.tar.bz2 scala-4ba667134f2a190087675c625fa9d91607fe3231.zip | |
modified annotated types scheme
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 68c8bebcfa..4f1a9388b7 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -373,7 +373,7 @@ abstract class RefChecks extends InfoTransform { validateVariance(result, variance) case PolyType(tparams, result) => validateVariance(result, variance) - case AttributedType(attribs, tp) => + case AnnotatedType(attribs, tp) => validateVariance(tp, variance) } |