blob: 5953e1bd6d5dc44c30ad50bff39afb8a7b64c317 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
no-implicit-to-anyref-any-val.scala:11: error: the result type of an implicit conversion must be more specific than AnyRef
1: AnyRef
^
no-implicit-to-anyref-any-val.scala:17: error: type mismatch;
found : Any
required: AnyRef
(null: Any): AnyRef
^
no-implicit-to-anyref-any-val.scala:21: error: type mismatch;
found : AnyVal
required: AnyRef
(0: AnyVal): AnyRef
^
no-implicit-to-anyref-any-val.scala:27: error: type mismatch;
found : Test.AV
required: AnyRef
Note that AV extends Any, not AnyRef.
Such types can participate in value classes, but instances
cannot appear in singleton types or in reference comparisons.
new AV(0): AnyRef
^
no-implicit-to-anyref-any-val.scala:30: error: the result type of an implicit conversion must be more specific than AnyVal
"": AnyVal
^
no-implicit-to-anyref-any-val.scala:32: error: type mismatch;
found : Object
required: AnyVal
Note that implicit conversions are not applicable because they are ambiguous:
both method ArrowAssoc in object Predef of type [A](self: A)ArrowAssoc[A]
and method Ensuring in object Predef of type [A](self: A)Ensuring[A]
are possible conversion functions from Object to AnyVal
new Object() : AnyVal
^
6 errors found
|