diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index b5cd8c3ee..257128821 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2058,9 +2058,11 @@ object Types { final class CachedTypeBounds(lo: Type, hi: Type) extends TypeBounds(lo, hi) final class CoTypeBounds(lo: Type, hi: Type) extends TypeBounds(lo, hi) { override def variance = 1 + override def toString = "Co" + super.toString } final class ContraTypeBounds(lo: Type, hi: Type) extends TypeBounds(lo, hi) { override def variance = -1 + override def toString = "Contra" + super.toString } object TypeBounds { @@ -2412,4 +2414,12 @@ object Types { // ----- Debug --------------------------------------------------------- var debugTrace = false + + val watchList = List[String]( + ) map (_.toTypeName) + + def isWatched(tp: Type) = tp match { + case TypeRef(_, name) => watchList contains name + case _ => false + } } |