Compare types as capture sets in mergeRefinedOrApplied

DolphinChips · DolphinChips · commit 2de8ea103caa · 2025-04-24T14:01:20.000+03:00
Fixes a problem introduced in 4b711f5 and closes scala#23032.
diff --git a/compiler/src/dotty/tools/dotc/core/TypeOps.scala b/compiler/src/dotty/tools/dotc/core/TypeOps.scala
@@ -278,7 +278,7 @@ object TypeOps:
           }
         case AndType(tp11, tp12) =>
           mergeRefinedOrApplied(tp11, tp2) & mergeRefinedOrApplied(tp12, tp2)
-        case tp1: TypeParamRef if tp1 == tp2 => tp1
+        case tp1: TypeParamRef if tp1 =:= tp2 => tp1
         case _ => fail
       }
     }
diff --git a/tests/pos/i23032.scala b/tests/pos/i23032.scala
@@ -0,0 +1,2 @@
+def f[F[_], T]: F[Unit] | F[T] = ???
+def x[F[_]] = f.toString

Original file line number	Diff line number	Diff line change
`@@ -278,7 +278,7 @@ object TypeOps:`
`278`	`278`	`}`
`279`	`279`	`case AndType(tp11, tp12) =>`
`280`	`280`	`mergeRefinedOrApplied(tp11, tp2) & mergeRefinedOrApplied(tp12, tp2)`
`281`		`- case tp1: TypeParamRef if tp1 == tp2 => tp1`
	`281`	`+ case tp1: TypeParamRef if tp1 =:= tp2 => tp1`
`282`	`282`	`case _ => fail`
`283`	`283`	`}`
`284`	`284`	`}`