Properly identify empty bounds in error message (#19310)

This caused a trailing space which can easily misbehave in checkfiles.
scala · Dec 21, 2023 · 0336e68 · 0336e68
2 parents d3fafd6 + 63bf7f3
commit 0336e68
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/reporting/Message.scala b/compiler/src/dotty/tools/dotc/reporting/Message.scala
@@ -146,7 +146,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 _ =>

diff --git a/tests/neg/i13780-1.check b/tests/neg/i13780-1.check
@@ -5,7 +5,7 @@
    |                      Required: h
    |
    |                      where:    VS is a type in method foo with bounds <: Tuple
-   |                                h  is a type in method foo with bounds 
+   |                                h  is a type in method foo
    |                                t  is a type in method foo with bounds <: Tuple
    |
    |