diff options
Diffstat (limited to 'src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala')
| -rw-r--r-- | src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala b/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala index 1ef8b3447..c5ff8cb6b 100644 --- a/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala +++ b/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala @@ -5,7 +5,7 @@ package reporting import scala.collection.mutable import util.{SourcePosition, SourceFile} import core.Contexts.Context -import diagnostic.Message +import diagnostic.MessageContainer /** * This trait implements `isHidden` so that multiple messages per position @@ -18,7 +18,7 @@ trait UniqueMessagePositions extends Reporter { /** Logs a position and returns true if it was already logged. * @note Two positions are considered identical for logging if they have the same point. */ - override def isHidden(m: Message)(implicit ctx: Context): Boolean = + override def isHidden(m: MessageContainer)(implicit ctx: Context): Boolean = super.isHidden(m) || { m.pos.exists && { positions get (ctx.source, m.pos.point) match { |