diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-07-08 15:59:00 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-07-08 15:59:00 +0000 |
| commit | bc5ac3dc9a03553072f69d1117ea2389473acd4a (patch) | |
| tree | 8861152bae068e9630c176c331763fbbd76cbe0e /test/files/neg/bug1275.check | |
| parent | 0cbeaf17d85d4925939d51938826c318db667c50 (diff) | |
| download | scala-bc5ac3dc9a03553072f69d1117ea2389473acd4a.tar.gz scala-bc5ac3dc9a03553072f69d1117ea2389473acd4a.tar.bz2 scala-bc5ac3dc9a03553072f69d1117ea2389473acd4a.zip | |
closes #3374.
review by odersky
Diffstat (limited to 'test/files/neg/bug1275.check')
| -rw-r--r-- | test/files/neg/bug1275.check | 8 |
1 files changed, 5 insertions, 3 deletions
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 |