diff options
author | Martin Odersky <odersky@gmail.com> | 2010-04-29 13:12:20 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2010-04-29 13:12:20 +0000 |
commit | 8a6e20ce4c14bb2f3c0bc98e8e69aa2ef891aa3b (patch) | |
tree | 873b7a4f3ebd855ff76701e1b9b07c558cc78fbb /src | |
parent | d6178b3a1037fcad01e98f4e5cc9e77a51dbabbd (diff) | |
download | scala-8a6e20ce4c14bb2f3c0bc98e8e69aa2ef891aa3b.tar.gz scala-8a6e20ce4c14bb2f3c0bc98e8e69aa2ef891aa3b.tar.bz2 scala-8a6e20ce4c14bb2f3c0bc98e8e69aa2ef891aa3b.zip |
Tightened variances check. Review by prokopec.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index bd8482cd67..ea4109bd3a 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -593,7 +593,8 @@ abstract class RefChecks extends InfoTransform { case SingleType(pre, sym) => validateVariance(pre, variance) case TypeRef(pre, sym, args) => - if (sym.isAliasType && relativeVariance(sym) == AnyVariance) +// println("validate "+sym+" at "+relativeVariance(sym)) + if (sym.isAliasType/* && relativeVariance(sym) == AnyVariance*/) validateVariance(tp.normalize, variance) else if (sym.variance != NoVariance) { val v = relativeVariance(sym) |