diff options
author | Martin Odersky <odersky@gmail.com> | 2014-07-20 14:48:34 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-08-03 17:28:34 +0200 |
commit | e33a7385268084138e3d51faffdff33b540ad942 (patch) | |
tree | ae547106f6a363c5487535393bc1f971441bc55f /src/dotty/tools/dotc/core/Types.scala | |
parent | 38761d9d11a42635e64d6df54ecaf1968797e7e8 (diff) | |
download | dotty-e33a7385268084138e3d51faffdff33b540ad942.tar.gz dotty-e33a7385268084138e3d51faffdff33b540ad942.tar.bz2 dotty-e33a7385268084138e3d51faffdff33b540ad942.zip |
Enabled variance checking
Variance checking is now run as part of type-checking.
Fixed tests that exhibited variance errors. Added tests where some classes of
variance errors should be detected.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 19141a873..474958b86 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2203,6 +2203,7 @@ object Types { override def variance = 1 override def toString = "Co" + super.toString } + final class ContraTypeBounds(lo: Type, hi: Type, hc: Int) extends CachedTypeBounds(lo, hi, hc) { override def variance = -1 override def toString = "Contra" + super.toString |