Update compiler/src/dotty/tools/dotc/core/Types.scala

scala · Jul 4, 2024 · 21fc03f · 21fc03f
1 parent 62544e8
commit 21fc03f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -3749,7 +3749,7 @@ object Types extends TypeUtils {
     }
 
     override protected def iso(that: Any, bs: BinderPairs) = that match
-      case that: OrType => tp1.equals(that.tp1, bs) && tp2.equals(that.tp2, bs)
+      case that: OrType => tp1.equals(that.tp1, bs) && tp2.equals(that.tp2, bs) && isSoft == that.isSoft
       case _ => false
   }