An implicit search; parameters as in inferImplicit
Check that equality tests between types ltp
and rtp
make sense
Find an implicit parameter or conversion.
Find an implicit parameter or conversion.
The expected type of the parameter or conversion.
If an implicit conversion is searched, the argument to which it should be applied, EmptyTree otherwise.
The position where errors should be reported. !!! todo: catch potential cycles
Find an implicit argument for parameter formal
.
Find an implicit argument for parameter formal
.
An error handler that gets an error message parameter which is itself parameterized by another string, indicating where the implicit parameter is needed
Find an implicit conversion to apply to given tree from
so that the
result is compatible with type to
.
If formal
is of the form ClassTag[T], where T
is a class type,
synthesize a class tag for T
.
The implicit resolution part of type checking