diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-10-20 22:28:44 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-10-20 22:28:44 +0000 |
| commit | 3921e5be742ff9523825037056e82b7b82db5932 (patch) | |
| tree | 046e7f6ff585ba66c80825132974f52f5a3638e0 /test/files/neg/structural.check | |
| parent | 24eb4c5bb5b3ed0e6bb4ede3e68876cdbe7d18fc (diff) | |
| download | scala-3921e5be742ff9523825037056e82b7b82db5932.tar.gz scala-3921e5be742ff9523825037056e82b7b82db5932.tar.bz2 scala-3921e5be742ff9523825037056e82b7b82db5932.zip | |
dependent methods types are now always enabled
for now, left the old if(settings.YdepMethTpes.value) guards in comments
removed *.flags containing -Ydependent-method-types also updated one
check file with one fewer error
no review
Diffstat (limited to 'test/files/neg/structural.check')
| -rw-r--r-- | test/files/neg/structural.check | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/test/files/neg/structural.check b/test/files/neg/structural.check index 100b989a2f..6ef57db1b4 100644 --- a/test/files/neg/structural.check +++ b/test/files/neg/structural.check @@ -1,9 +1,6 @@ structural.scala:47: error: Parameter type in structural refinement may not refer to the type of that refinement (self type) val s1 = new { def f(p: this.type): Unit = () } ^ -structural.scala:19: error: illegal dependent method type - def f9[C <: Object](x: Object{ type D <: Object; def m[E >: Null <: Object](x: Object): D }) = x.m[Tata](null) //fail - ^ structural.scala:10: error: Parameter type in structural refinement may not refer to an abstract type defined outside that refinement def f1[C <: Object](x: Object{ type D <: Object; def m[E >: Null <: Object](x: A): Object; val x: A }) = x.m[Tata](x.x) //fail ^ @@ -28,4 +25,4 @@ structural.scala:49: error: Parameter type in structural refinement may not refe structural.scala:52: error: Parameter type in structural refinement may not refer to an abstract type defined outside that refinement def s3[U >: Null <: Object](p: { def f(p: U): Unit; def u: U }) = () ^ -10 errors found +9 errors found |