a micro-optimization

Summary: - elimmedLower can be computed once Reviewed By: VLanvin Differential Revision: D61597351 fbshipit-source-id: 613b061dc3c895e9f0572cd3c5f42c7078b6bbf2
WhatsApp · Aug 21, 2024 · 58539d4 · 58539d4
1 parent bf70997
commit 58539d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/eqwalizer/src/main/scala/com/whatsapp/eqwalizer/tc/generics/Constraints.scala b/eqwalizer/src/main/scala/com/whatsapp/eqwalizer/tc/generics/Constraints.scala
@@ -161,9 +161,9 @@ class Constraints(pipelineContext: PipelineContext) {
           constrainSeq(state, tys.map((_, upperBound)))
         // when the upper bound is a union, see if there is only one potential match, use it for constraint generation
         case (_, UnionType(tys)) =>
+          val elimmedLower = ElimTypeVars.elimTypeVars(lowerBound, ElimTypeVars.Demote, toSolve ++ varsToElim)
           val candidates = tys.filter { ty =>
             val elimmedUpper = ElimTypeVars.elimTypeVars(ty, ElimTypeVars.Promote, toSolve ++ varsToElim)
-            val elimmedLower = ElimTypeVars.elimTypeVars(lowerBound, ElimTypeVars.Demote, toSolve ++ varsToElim)
             subtype.subType(elimmedLower, elimmedUpper)
           }.toList
           val (varTypes, others) = candidates.partition {