diff options
| author | Paul Phillips <paulp@improving.org> | 2009-06-22 20:26:34 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2009-06-22 20:26:34 +0000 |
| commit | c22ebf74e0ec17d18bf097c1d47426bd647010a5 (patch) | |
| tree | af3b6479902ecc6c98931d9b7e6ca786d1cfb80f /test/files/neg/structural.check | |
| parent | 2ebff1417c9cfd39251a6a95a72c17af24b813c1 (diff) | |
| download | scala-c22ebf74e0ec17d18bf097c1d47426bd647010a5.tar.gz scala-c22ebf74e0ec17d18bf097c1d47426bd647010a5.tar.bz2 scala-c22ebf74e0ec17d18bf097c1d47426bd647010a5.zip | |
Attempted to resolve the improbable mess surrou...
Attempted to resolve the improbable mess surrounding implicit
conversions from Unit. Modified test case which relied on the supposedly
verboten behavior; verbotenized () => AnyRef; added new test case which
fails if verboten behavior should ever return.
Diffstat (limited to 'test/files/neg/structural.check')
| -rw-r--r-- | test/files/neg/structural.check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/neg/structural.check b/test/files/neg/structural.check index 3a4a627b26..cc2b5c5920 100644 --- a/test/files/neg/structural.check +++ b/test/files/neg/structural.check @@ -2,7 +2,7 @@ structural.scala:3: error: illegal dependent method type def f(x: { type D; def m: D }) = x.m ^ structural.scala:19: error: illegal dependent method type - def f9[C <: AnyRef](x: AnyRef{ type D <: AnyRef; def m[E >: Null <: AnyRef](x: AnyRef): D }) = x.m[Tata](()) //suceed + def f9[C <: AnyRef](x: AnyRef{ type D <: AnyRef; def m[E >: Null <: AnyRef](x: AnyRef): D }) = x.m[Tata](new AnyRef) //suceed ^ structural.scala:10: error: Parameter type in structural refinement may not refer to abstract type defined outside that same refinement def f1[C <: AnyRef](x: AnyRef{ type D <: AnyRef; def m[E >: Null <: AnyRef](x: A): AnyRef; val x: A }) = x.m[Tata](x.x) //fail |