Don't force message addendum

odersky · odersky · commit 7c23027782d0 · 2020-04-06T10:41:18.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/ErrorReporting.scala b/compiler/src/dotty/tools/dotc/typer/ErrorReporting.scala
@@ -102,7 +102,7 @@ object ErrorReporting {
         case If(_, _, elsep @ Literal(Constant(()))) if elsep.span.isSynthetic =>
           "\nMaybe you are missing an else part for the conditional?"
         case _ => ""
-      val addendum = List(implicitFailure.whyNoConversion, missingElse)
+      def addendum = List(implicitFailure.whyNoConversion, missingElse)
         .find(!_.isEmpty).getOrElse("")
       errorTree(tree, TypeMismatch(treeTp, pt, addendum))
     }

Original file line number	Diff line number	Diff line change
`@@ -102,7 +102,7 @@ object ErrorReporting {`
`102`	`102`	`case If(_, _, elsep @ Literal(Constant(()))) if elsep.span.isSynthetic =>`
`103`	`103`	`"\nMaybe you are missing an else part for the conditional?"`
`104`	`104`	`case _ => ""`
`105`		`- val addendum = List(implicitFailure.whyNoConversion, missingElse)`
	`105`	`+ def addendum = List(implicitFailure.whyNoConversion, missingElse)`
`106`	`106`	`.find(!_.isEmpty).getOrElse("")`
`107`	`107`	`errorTree(tree, TypeMismatch(treeTp, pt, addendum))`
`108`	`108`	`}`