diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/Denotations.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Denotations.scala | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/dotty/tools/dotc/core/Denotations.scala b/src/dotty/tools/dotc/core/Denotations.scala index f7935d675..f43fe5121 100644 --- a/src/dotty/tools/dotc/core/Denotations.scala +++ b/src/dotty/tools/dotc/core/Denotations.scala @@ -129,10 +129,10 @@ object Denotations { def validFor: Period /** Is this a reference to a type symbol? */ - def isType: Boolean = false + def isType: Boolean /** Is this a reference to a term symbol? */ - def isTerm: Boolean = false + final def isTerm: Boolean = !isType /** Is this denotation overloaded? */ def isOverloaded = isInstanceOf[MultiDenotation] @@ -238,7 +238,6 @@ object Denotations { */ case class MultiDenotation(denot1: Denotation, denot2: Denotation) extends Denotation { final override def isType = false - final override def isTerm = true def derivedMultiDenotation(d1: Denotation, d2: Denotation) = if ((d1 eq denot1) && (d2 eq denot2)) this else MultiDenotation(d1, d2) def symbol = unsupported("symbol") @@ -254,9 +253,7 @@ object Denotations { } abstract class SingleDenotation extends Denotation with DenotationSet { - - override def isType = symbol.isType - override def isTerm = symbol.isTerm + final override def isType = info.isInstanceOf[TypeType] override def signature: Signature = { def sig(tp: Type): Signature = tp match { case tp: PolyType => |