Refactor code

Author: liufengyun

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

@@ -439,12 +439,10 @@ object TypeOps:
             tp.origin, fromBelow = variance > 0 || variance == 0 && tp.hasLowerBound)(using mapCtx)
           val lo1 = apply(lo)
           if (lo1 ne lo) lo1 else tp
-        case tp: LazyRef if locals.contains(tp.ref) =>
-          tp
-        case tp: LazyRef if isExpandingBounds =>
-          if variance == 1 then defn.AnyType
-          else if variance == -1 then defn.NothingType
-          else TypeBounds.empty
+        case tp: LazyRef =>
+          if locals.contains(tp.ref) then tp
+          else if isExpandingBounds then emptyRange
+          else mapOver(tp)
         case tl: HKTypeLambda =>
           locals ++= tl.paramRefs
           mapOver(tl)