Properly identify empty bounds in error message

WojciechMazur · WojciechMazur · commit 43e0f2271b43 · 2024-06-25T14:17:32.000+02:00
This caused a trailing space which can easily misbehave in checkfiles. [Cherry-picked 63bf7f3][modified]
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 _ =>`