From 33d44903ec95cff9b79523683175733fd49ba140 Mon Sep 17 00:00:00 2001 From: Felix Mulder Date: Mon, 26 Sep 2016 13:40:59 +0200 Subject: Make `typeDiff` aware of placeholder types --- tests/repl/errmsgs.check | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'tests') diff --git a/tests/repl/errmsgs.check b/tests/repl/errmsgs.check index 8f86aac08..b8cff5ba2 100644 --- a/tests/repl/errmsgs.check +++ b/tests/repl/errmsgs.check @@ -34,7 +34,7 @@ scala> val a: Inv[String] = new Inv(new Inv(1)) found: Inv[T] required: String - T is a type variable with constraint >: Int(1) + where: T is a type variable with constraint >: Int(1) scala> val b: Inv[String] = new Inv(1) -- [E006] Type Mismatch Error: ------------------------------------------------------------------------------- 4:val b: Inv[String] = new Inv(1) @@ -61,16 +61,16 @@ scala> abstract class C { 8: var y: T = x ^ found: C.this.T(C.this.x) - required: T + required: T' - T is a type in class C - T' is a type in the initalizer of value s which is an alias of String + where: T is a type in class C + T' is a type in the initalizer of value s which is an alias of String -- [E006] Type Mismatch Error: ------------------------------------------------------------------------------- 12: val z: T = y ^ found: T(y) - required: T + required: T' - T is a type in the initalizer of value s which is an alias of String - T' is a type in method f which is an alias of Int + where: T is a type in the initalizer of value s which is an alias of String + T' is a type in method f which is an alias of Int scala> :quit -- cgit v1.2.3