Skip to content

Commit ccbb05f

Browse files
authored
Polishing
1 parent d7d4f21 commit ccbb05f

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1830,12 +1830,12 @@ object messages {
18301830
case class FailureToEliminateExistential(tp: Type, tp1: Type, tp2: Type, boundSyms: List[Symbol])(implicit ctx: Context)
18311831
extends Message(FailureToEliminateExistentialID) {
18321832
val kind = "Compatibility"
1833-
val msg = hl"Failure to eliminate existential type. Proceed at own risk."
1834-
private val originalType = ctx.dclsText(boundSyms, "; ").show
1835-
val explanation =
1836-
hl"""original type : $tp forSome {${originalType}
1833+
val msg = "Failure to eliminate existential type. Proceed at own risk."
1834+
val explanation = {
1835+
val originalType = ctx.dclsText(boundSyms, "; ").show
1836+
hl"""original type : $tp forSome ${originalType}
18371837
|reduces to : $tp1
1838-
|type used instead: $tp2
1839-
|"""
1838+
|type used instead: $tp2"""
1839+
}
18401840
}
18411841
}

0 commit comments

Comments
 (0)