Prefer TypeBounds#isErroneous for lo eq hi check

som-snytt · som-snytt · commit bff12be34b6e · 2023-12-30T08:43:26.000-08:00
diff --git a/compiler/src/dotty/tools/dotc/reporting/Message.scala b/compiler/src/dotty/tools/dotc/reporting/Message.scala
@@ -145,7 +145,7 @@ object Message:
       }
 
       def addendum(cat: String, info: Type): String = info match {
-        case bounds @ TypeBounds(lo, hi) if !(bounds =:= TypeBounds.empty) && !lo.isErroneous && !hi.isErroneous =>
+        case bounds @ TypeBounds(lo, hi) if !(bounds =:= TypeBounds.empty) && !bounds.isErroneous =>
           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
`@@ -145,7 +145,7 @@ object Message:`
`145`	`145`	`}`
`146`	`146`
`147`	`147`	`def addendum(cat: String, info: Type): String = info match {`
`148`		`- case bounds @ TypeBounds(lo, hi) if !(bounds =:= TypeBounds.empty) && !lo.isErroneous && !hi.isErroneous =>`
	`148`	`+ case bounds @ TypeBounds(lo, hi) if !(bounds =:= TypeBounds.empty) && !bounds.isErroneous =>`
`149`	`149`	`if (lo eq hi) i" which is an alias of $lo"`
`150`	`150`	`else i" with $cat ${boundsStr(bounds)}"`
`151`	`151`	`case _ =>`