We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a8ad133 commit f6e724bCopy full SHA for f6e724b
compiler/src/dotty/tools/dotc/core/Types.scala
@@ -134,7 +134,7 @@ object Types {
134
}
135
136
/** Is this type different from NoType? */
137
- def exists: Boolean = true
+ final def exists: Boolean = this.ne(NoType)
138
139
/** This type, if it exists, otherwise `that` type */
140
def orElse(that: => Type) = if (exists) this else that
@@ -3709,7 +3709,6 @@ object Types {
3709
3710
/** Sentinel for "missing type" */
3711
@sharable case object NoType extends CachedGroundType {
3712
- override def exists = false
3713
override def computeHash(bs: Binders) = hashSeed
3714
3715
0 commit comments