diff options
author | Paul Phillips <paulp@improving.org> | 2012-08-21 12:18:09 +0200 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-09-01 10:02:22 -0700 |
commit | 6cda8a6f972d014f9b73c54a43bb80f99b64adb4 (patch) | |
tree | e01065cc5dba939979139d114f79cdeed21d391e /test/files/neg | |
parent | d9c0cb6165bd60d79bdf764291c417c86623b042 (diff) | |
download | scala-6cda8a6f972d014f9b73c54a43bb80f99b64adb4.tar.gz scala-6cda8a6f972d014f9b73c54a43bb80f99b64adb4.tar.bz2 scala-6cda8a6f972d014f9b73c54a43bb80f99b64adb4.zip |
Fix for SI-6263, futile adaptation.
Don't try to implicitly convert an unstable prefix
to a stable one by applying a view. As the matrix spoon kid
says, "that's impossible."
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/t6263.check | 6 | ||||
-rw-r--r-- | test/files/neg/t6263.scala | 6 |
2 files changed, 12 insertions, 0 deletions
diff --git a/test/files/neg/t6263.check b/test/files/neg/t6263.check new file mode 100644 index 0000000000..1c5834e1ca --- /dev/null +++ b/test/files/neg/t6263.check @@ -0,0 +1,6 @@ +t6263.scala:5: error: type mismatch; + found : A.this.c.type (with underlying type C) + required: AnyRef + type t = c.type + ^ +one error found diff --git a/test/files/neg/t6263.scala b/test/files/neg/t6263.scala new file mode 100644 index 0000000000..6575185b5c --- /dev/null +++ b/test/files/neg/t6263.scala @@ -0,0 +1,6 @@ +class C(val a: Any) extends AnyVal +class A { + implicit def c2AnyRef(c: C): AnyRef = new {} + val c = new C(0) + type t = c.type +} |