Update compiler/src/dotty/tools/dotc/typer/Applications.scala

scala · Oct 30, 2023 · c456947 · c456947
1 parent 86f339a
commit c456947
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/typer/Applications.scala b/compiler/src/dotty/tools/dotc/typer/Applications.scala
@@ -1781,7 +1781,7 @@ trait Applications extends Compatibility {
 
       overload.println(i"compare($alt1, $alt2)? $tp1 $tp2 $ownerScore $winsType1 $winsType2")
       if winsType1 && winsType2
-          && (alt1.widenExpr frozen_=:= alt2.widenExpr) && alt1.widenExpr.isStable
+          && alt1.widenExpr.isStable && (alt1.widenExpr frozen_=:= alt2.widenExpr)
       then
         // alternatives are the same after following ExprTypes, pick one of them
         // (prefer the one that is not a method, but that's arbitrary).