diff options
Diffstat (limited to 'test/files/neg/not-possible-cause.check')
| -rw-r--r-- | test/files/neg/not-possible-cause.check | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/test/files/neg/not-possible-cause.check b/test/files/neg/not-possible-cause.check index 9111cd0d3d..5c09fa1545 100644 --- a/test/files/neg/not-possible-cause.check +++ b/test/files/neg/not-possible-cause.check @@ -1,10 +1,9 @@ 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 +Note that A is bounded only by Equals, which means AnyRef is not a known parent. +Such types can participate in value classes, but instances +cannot appear in singleton types or in reference comparisons. def foo[A <: Product](a: A) { type X = a.type } ^ one error found |