Simplifty code, addressing review comments

scala · Feb 16, 2024 · daa29e6 · daa29e6
1 parent 0a2d995
commit daa29e6
Showing 1 changed file with 2 additions and 8 deletions.
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -2678,11 +2678,8 @@ object Types extends TypeUtils {
      *  refinement type `T { X = U; ... }`
      */
     def reduceProjection(using Context): Type =
-      if (isType || true) {
-        val reduced = prefix.lookupRefined(name)
-        if (reduced.exists) reduced else this
-      }
-      else this
+      val reduced = prefix.lookupRefined(name)
+      if reduced.exists then reduced else this
 
     /** Guard against cycles that can arise if given `op`
      *  follows info. The problematic cases are a type alias to itself or
@@ -6594,9 +6591,6 @@ object Types extends TypeUtils {
         variance = saved
         this(y, restpe)
 
-      //case tp: TermRef =>
-      //  if stopBecauseStaticOrLocal(tp) then x else applyToPrefix(x, tp)
-
       case tp: TypeVar =>
         this(x, tp.underlying)