Inlined Type.isOrType

Author: mucciolo

compiler/src/dotty/tools/dotc/core/TypeOps.scala

@@ -165,7 +165,7 @@ object TypeOps:
           // corrective steps, so no widening is wanted.
           simplify(l, theMap) | simplify(r, theMap)
         else if r.isNothingType || (l eq r) then l
-        else if l.isOrType || r.isOrType then tp.deduplicatedAbsorbingNothingTypes
+        else if l.isInstanceOf[OrType] || r.isInstanceOf[OrType] then tp.deduplicatedAbsorbingNothingTypes
         else if l.isNothingType then r
         else mapOver
       case tp @ CapturingType(parent, refs) =>

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -442,9 +442,6 @@ object Types {
     final def containsWildcardTypes(using Context) =
       existsPart(_.isInstanceOf[WildcardType], StopAt.Static, forceLazy = false)
 
-    /** Is this a union type? */
-    final def isOrType: Boolean = this.isInstanceOf[OrType]
-
 // ----- Higher-order combinators -----------------------------------
 
     /** Returns true if there is a part of this type that satisfies predicate `p`.