trait
Implicits
The implicit resolution part of type checking
Constructors
Members
An implicit search; parameters as in inferImplicit
An implicit search; parameters as in inferImplicit
Check that equality tests between types ltp
and rtp
make sense
Check that equality tests between types ltp
and rtp
make sense
def
inferImplicit
(
pt:
Type
,
argument:
Tree
,
pos:
Position
)
(
implicit
ctx:
Context
)
: SearchResult
Find an implicit parameter or conversion.
Find an implicit parameter or conversion.
def
inferImplicitArg
(
formal:
Type
,
error:
String => String => Unit
,
pos:
Position
)
(
implicit
ctx:
Context
)
: Tree
Find an implicit argument for parameter formal
.
Find an implicit argument for parameter formal
.
Find an implicit conversion to apply to given tree from
so that the
result is compatible with type to
.
Find an implicit conversion to apply to given tree from
so that the
result is compatible with type to
.