Backport "Properly identify empty bounds in error message" to LTS (#20806)

WojciechMazur · web-flow · commit ab88fbf3a668 · 2024-06-26T11:24:28.000+02:00
Backports #19310 to the LTS branch. PR submitted by the release tooling. [skip ci]
diff --git a/compiler/src/dotty/tools/dotc/reporting/Message.scala b/compiler/src/dotty/tools/dotc/reporting/Message.scala
@@ -125,7 +125,7 @@ object Message:
       }
 
       def addendum(cat: String, info: Type): String = info match {
-        case bounds @ TypeBounds(lo, hi) if bounds ne TypeBounds.empty =>
+        case bounds @ TypeBounds(lo, hi) if !(bounds =:= TypeBounds.empty) =>
           if (lo eq hi) i" which is an alias of $lo"
           else i" with $cat ${boundsStr(bounds)}"
         case _ =>

Original file line number	Diff line number	Diff line change
`@@ -125,7 +125,7 @@ object Message:`
`125`	`125`	`}`
`126`	`126`
`127`	`127`	`def addendum(cat: String, info: Type): String = info match {`
`128`		`- case bounds @ TypeBounds(lo, hi) if bounds ne TypeBounds.empty =>`
	`128`	`+ case bounds @ TypeBounds(lo, hi) if !(bounds =:= TypeBounds.empty) =>`
`129`	`129`	`if (lo eq hi) i" which is an alias of $lo"`
`130`	`130`	`else i" with $cat ${boundsStr(bounds)}"`
`131`	`131`	`case _ =>`