Devirtualize Type.exists

OlivierBlanvillain · OlivierBlanvillain · commit 2fa72ba7dbd2 · 2018-03-08T11:24:48.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -132,7 +132,7 @@ object Types {
     }
 
     /** Is this type different from NoType? */
-    def exists: Boolean = true
+    final def exists: Boolean = !this.eq(NoType)
 
     /** This type, if it exists, otherwise `that` type */
     def orElse(that: => Type) = if (exists) this else that
@@ -3708,7 +3708,6 @@ object Types {
 
   /** Sentinel for "missing type" */
   @sharable case object NoType extends CachedGroundType {
-    override def exists = false
     override def computeHash(bs: Binders) = hashSeed
   }
 

Original file line number	Diff line number	Diff line change
`@@ -132,7 +132,7 @@ object Types {`
`132`	`132`	`}`
`133`	`133`
`134`	`134`	`/** Is this type different from NoType? */`
`135`		`- def exists: Boolean = true`
	`135`	`+ final def exists: Boolean = !this.eq(NoType)`
`136`	`136`
`137`	`137`	/** This type, if it exists, otherwise `that` type */
`138`	`138`	`def orElse(that: => Type) = if (exists) this else that`
`@@ -3708,7 +3708,6 @@ object Types {`
`3708`	`3708`
`3709`	`3709`	`/** Sentinel for "missing type" */`
`3710`	`3710`	`@sharable case object NoType extends CachedGroundType {`
`3711`		`- override def exists = false`
`3712`	`3711`	`override def computeHash(bs: Binders) = hashSeed`
`3713`	`3712`	`}`
`3714`	`3713`