Some opimizations on derived ops

In a commonly used derived... operation, deal with the common
case that the types have not chanegd first.

Author: odersky

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

@@ -3922,7 +3922,8 @@ object Types {
       }
 
     override protected def derivedRefinedType(tp: RefinedType, parent: Type, info: Type) =
-      parent match {
+      if ((parent eq tp.parent) && (info eq tp.refinedInfo)) tp
+      else parent match {
         case Range(parentLo, parentHi) =>
           range(derivedRefinedType(tp, parentLo, info), derivedRefinedType(tp, parentHi, info))
         case _ =>
@@ -3953,21 +3954,24 @@ object Types {
         }
 
     override protected def derivedRecType(tp: RecType, parent: Type) =
-      parent match {
+      if (parent eq tp.parent) tp
+      else parent match {
         case Range(lo, hi) => range(tp.rebind(lo), tp.rebind(hi))
         case _ => tp.rebind(parent)
       }
 
     override protected def derivedTypeAlias(tp: TypeAlias, alias: Type) =
-      alias match {
+      if (alias eq tp.alias) tp
+      else alias match {
         case Range(lo, hi) =>
           if (variance > 0) TypeBounds(lo, hi)
           else range(TypeAlias(lo), TypeAlias(hi))
         case _ => tp.derivedTypeAlias(alias)
       }
 
     override protected def derivedTypeBounds(tp: TypeBounds, lo: Type, hi: Type) =
-      if (isRange(lo) || isRange(hi))
+      if ((lo eq tp.lo) && (hi eq tp.hi)) tp
+      else if (isRange(lo) || isRange(hi))
         if (variance > 0) TypeBounds(lower(lo), upper(hi))
         else range(TypeBounds(upper(lo), lower(hi)), TypeBounds(lower(lo), upper(hi)))
       else tp.derivedTypeBounds(lo, hi)