From 33d44903ec95cff9b79523683175733fd49ba140 Mon Sep 17 00:00:00 2001
From: Felix Mulder <felix.mulder@gmail.com>
Date: Mon, 26 Sep 2016 13:40:59 +0200
Subject: Make `typeDiff` aware of placeholder types

---
 src/dotty/tools/dotc/reporting/diagnostic/messages.scala | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/dotty/tools/dotc/reporting/diagnostic/messages.scala')

diff --git a/src/dotty/tools/dotc/reporting/diagnostic/messages.scala b/src/dotty/tools/dotc/reporting/diagnostic/messages.scala
index 009636593..01cf00cf7 100644
--- a/src/dotty/tools/dotc/reporting/diagnostic/messages.scala
+++ b/src/dotty/tools/dotc/reporting/diagnostic/messages.scala
@@ -216,8 +216,8 @@ object messages {
   case class TypeMismatch(found: Type, expected: Type, whyNoMatch: String = "")(implicit ctx: Context)
   extends Message("E006") {
     val kind = "Type Mismatch"
-    private val where = Formatting.disambiguateTypes(found, expected)
-    private val (fnd, exp) = Formatting.typeDiff(found, expected)
+    private val (where, printCtx) = Formatting.disambiguateTypes(found, expected)
+    private val (fnd, exp) = Formatting.typeDiff(found, expected)(printCtx)
     val msg =
       s"""|found:    $fnd
           |required: $exp
-- 
cgit v1.2.3