Attempt to fix perf regression (TODO explain)

scala · Apr 18, 2024 · ec573db · ec573db
1 parent 95a8a9c
commit ec573db
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/core/OrderingConstraint.scala b/compiler/src/dotty/tools/dotc/core/OrderingConstraint.scala
@@ -815,6 +815,7 @@ class OrderingConstraint(private val boundsMap: ParamBounds,
     newConstraint(hardVars = this.hardVars + tv)
 
   def instType(tvar: TypeVar): Type = entry(tvar.origin) match
+    case TypeBounds(lo, hi) if lo eq hi => lo
     case _: TypeBounds => NoType
     case tp: TypeParamRef => typeVarOfParam(tp).orElse(tp)
     case tp => tp