From bc5ac3dc9a03553072f69d1117ea2389473acd4a Mon Sep 17 00:00:00 2001
From: Adriaan Moors <adriaan.moors@epfl.ch>
Date: Thu, 8 Jul 2010 15:59:00 +0000
Subject: closes #3374.

review by odersky
---
 test/files/neg/bug1275.check | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'test/files/neg/bug1275.check')

diff --git a/test/files/neg/bug1275.check b/test/files/neg/bug1275.check
index 9f806c0689..40c5d79d27 100644
--- a/test/files/neg/bug1275.check
+++ b/test/files/neg/bug1275.check
@@ -1,4 +1,6 @@
-bug1275.scala:13: error: The kind of type MyType does not conform to the expected kind of type MyType[+t] <: TestCovariance.Seq[t] in trait Seq.
-    def span[a, s <: Seq[a] { type MyType <: s } ](xs: s): s = xs f
-                                   ^
+bug1275.scala:8: error: type mismatch;
+ found   : xs.MyType[a]
+ required: s
+    = xs f // xs: s <: Seq[a]{type MyType <: s }
+         ^
 one error found
-- 
cgit v1.2.3