Removing original widen

Author: EnzeXing

compiler/src/dotty/tools/dotc/transform/init/Objects.scala

@@ -591,23 +591,6 @@ object Objects:
       case (RefSet(refs), b : ValueElement)     => RefSet(refs + b)
       case (a : ValueElement, b : ValueElement) => RefSet(ListSet(a, b))
 
-    /* def widen(height: Int)(using Context): Value =
-      if height == 0 then Cold
-      else
-        a match
-        case Bottom => Bottom
-
-        case RefSet(refs) =>
-          refs.map(ref => ref.widen(height)).join
-
-        case Fun(code, thisV, klass, env) =>
-          Fun(code, thisV.widenThisV(height), klass, env.widen(height))
-
-        case ref : Ref =>
-          ref.widenThisV(height)
-
-        case _ => a */
-
   extension (values: Iterable[Value])
     def join: Value = if values.isEmpty then Bottom else values.reduce { (v1, v2) => v1.join(v2) }