diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-26 13:40:59 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:35 +0200 |
commit | 33d44903ec95cff9b79523683175733fd49ba140 (patch) | |
tree | 86b70814ee0a854609ab4397d586b16e145bfa6e /tests/repl | |
parent | aa559359bb55729913d34588462542f10c42e147 (diff) | |
download | dotty-33d44903ec95cff9b79523683175733fd49ba140.tar.gz dotty-33d44903ec95cff9b79523683175733fd49ba140.tar.bz2 dotty-33d44903ec95cff9b79523683175733fd49ba140.zip |
Make `typeDiff` aware of placeholder types
Diffstat (limited to 'tests/repl')
-rw-r--r-- | tests/repl/errmsgs.check | 14 |
1 files changed, 7 insertions, 7 deletions
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: <console> ------------------------------------------------------------------------------- 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: <console> ------------------------------------------------------------------------------- 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 |