From d9c0cb6165bd60d79bdf764291c417c86623b042 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Tue, 21 Aug 2012 07:15:27 +0200 Subject: Suppressed 'possible cause' mis-warning. I have seen this warning a bunch of times and it has not yet been close to right. --- test/files/neg/not-possible-cause.check | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 test/files/neg/not-possible-cause.check (limited to 'test/files/neg/not-possible-cause.check') diff --git a/test/files/neg/not-possible-cause.check b/test/files/neg/not-possible-cause.check new file mode 100644 index 0000000000..9111cd0d3d --- /dev/null +++ b/test/files/neg/not-possible-cause.check @@ -0,0 +1,10 @@ +not-possible-cause.scala:2: error: type mismatch; + found : a.type (with underlying type A) + required: AnyRef +Note that implicit conversions are not applicable because they are ambiguous: + both method any2stringfmt in object Predef of type (x: Any)scala.runtime.StringFormat + and method any2stringadd in object Predef of type (x: Any)scala.runtime.StringAdd + are possible conversion functions from a.type to AnyRef + def foo[A <: Product](a: A) { type X = a.type } + ^ +one error found -- cgit v1.2.3