GADT: Use isPatternBound, ofc...

dwijnand · dwijnand · commit b7ce616dd6cc · 2023-02-15T22:25:14.000Z
diff --git a/compiler/src/dotty/tools/dotc/core/GadtConstraint.scala b/compiler/src/dotty/tools/dotc/core/GadtConstraint.scala
@@ -83,7 +83,7 @@ class GadtConstraint private (
           // B$2 had info <: B$1 and fullBounds <: B$1
           // We can use the info of B$2 to drop the lower-bound of B$1
           // and return non-bidirectional bounds B$1 <: X and B$2 <: B$1.
-          if tp.name.is(UniqueName) && !tp.info.hiBound.isExactlyAny && self <:< tp.info.hiBound => acc
+          if tp.symbol.isPatternBound && !tp.info.hiBound.isExactlyAny && self <:< tp.info.hiBound => acc
         case tp => acc | tp
     }
 

Original file line number	Diff line number	Diff line change
`@@ -83,7 +83,7 @@ class GadtConstraint private (`
`83`	`83`	`// B$2 had info <: B$1 and fullBounds <: B$1`
`84`	`84`	`// We can use the info of B$2 to drop the lower-bound of B$1`
`85`	`85`	`// and return non-bidirectional bounds B$1 <: X and B$2 <: B$1.`
`86`		`- if tp.name.is(UniqueName) && !tp.info.hiBound.isExactlyAny && self <:< tp.info.hiBound => acc`
	`86`	`+ if tp.symbol.isPatternBound && !tp.info.hiBound.isExactlyAny && self <:< tp.info.hiBound => acc`
`87`	`87`	`case tp => acc \| tp`
`88`	`88`	`}`
`89`	`89`