@@ -15,6 +15,8 @@ import printing.Formatting
1515import ErrorMessageID .*
1616import ast .Trees
1717import config .{Feature , ScalaVersion }
18+ import transform .patmat .Space
19+ import transform .patmat .SpaceEngine
1820import typer .ErrorReporting .{err , matchReductionAddendum , substitutableTypeSymbolsInScope }
1921import typer .ProtoTypes .{ViewProto , SelectionProto , FunProto }
2022import typer .Implicits .*
@@ -856,12 +858,13 @@ extends Message(LossyWideningConstantConversionID):
856858 |Write `.to $targetType` instead. """
857859 def explain (using Context ) = " "
858860
859- class PatternMatchExhaustivity (uncoveredCases : Seq [String ], tree : untpd.Match )(using Context )
861+ class PatternMatchExhaustivity (uncoveredCases : Seq [Space ], tree : untpd.Match )(using Context )
860862extends Message (PatternMatchExhaustivityID ) {
861863 def kind = MessageKind .PatternMatchExhaustivity
862864
863865 private val hasMore = uncoveredCases.lengthCompare(6 ) > 0
864- val uncovered = uncoveredCases.take(6 ).mkString(" , " )
866+ val uncovered = uncoveredCases.take(6 ).map(SpaceEngine .display).mkString(" , " )
867+ private val casesWithoutColor = inContext(ctx.withoutColors)(uncoveredCases.map(SpaceEngine .display))
865868
866869 def msg (using Context ) =
867870 val addendum = if hasMore then " (More unmatched cases are elided)" else " "
@@ -889,12 +892,12 @@ extends Message(PatternMatchExhaustivityID) {
889892 val pathes = List (
890893 ActionPatch (
891894 srcPos = endPos,
892- replacement = uncoveredCases .map(c => indent(s " case $c => ??? " , startColumn))
895+ replacement = casesWithoutColor .map(c => indent(s " case $c => ??? " , startColumn))
893896 .mkString(" \n " , " \n " , " " )
894897 ),
895898 )
896899 List (
897- CodeAction (title = s " Insert missing cases ( ${uncoveredCases .size}) " ,
900+ CodeAction (title = s " Insert missing cases ( ${casesWithoutColor .size}) " ,
898901 description = None ,
899902 patches = pathes
900903 )
0 commit comments