From 6cda8a6f972d014f9b73c54a43bb80f99b64adb4 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Tue, 21 Aug 2012 12:18:09 +0200 Subject: 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." --- test/files/neg/t6263.check | 6 ++++++ test/files/neg/t6263.scala | 6 ++++++ 2 files changed, 12 insertions(+) create mode 100644 test/files/neg/t6263.check create mode 100644 test/files/neg/t6263.scala (limited to 'test/files/neg') 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 +} -- cgit v1.2.3