Delete Suppression.matches(suppression)

Author: som-snytt

compiler/src/dotty/tools/dotc/reporting/WConf.scala

@@ -151,30 +151,6 @@ class Suppression(val annotPos: SourcePosition, val filters: List[MessageFilter]
   def matches(dia: Diagnostic): Boolean =
     val pos = dia.pos
     pos.exists && start <= pos.start && pos.end <= end && filters.forall(_.matches(dia))
-  def matches(other: Suppression): Boolean =
-       start == other.start
-    && end == other.end
-    && verbose == other.verbose
-    && filters.lengthCompare(other.filters) == 0
-    && filters.forall(other.hasFilter)
-    && other.filters.forall(hasFilter)
-
-  private def hasFilter(filter: MessageFilter): Boolean =
-    import MessageFilter.*
-    filters.exists:
-      case MessageID(errorId) =>
-        cond(filter):
-          case MessageID(otherId) => errorId == otherId
-      case MessagePattern(pattern) =>
-        cond(filter):
-          case MessagePattern(otherPattern) => pattern.toString == otherPattern.toString
-      case SourcePattern(pattern) =>
-        cond(filter):
-          case SourcePattern(otherPattern) => pattern.toString == otherPattern.toString
-      case Origin(pattern) =>
-        cond(filter):
-          case Origin(otherPattern) => pattern.toString == otherPattern.toString
-      case x => x == filter // Any, Deprecated, Feature, Unchecked, None
 
   override def toString = s"Suppress in ${annotPos.source} $start..$end [${filters.mkString(", ")}]"
 end Suppression