The implicit resolution part of type checking
- Companion
- object
Type members
Value members
Concrete methods
A CanEqual[T, U] instance is assumed
A CanEqual[T, U] instance is assumed
- if one of T, U is an error type, or
- if one of T, U is a subtype of the lifted version of the other, unless strict equality is set.
Check that equality tests between types ltp
and rtp
make sense
Check that equality tests between types ltp
and rtp
make sense
Search an implicit argument and report error if not found
Search an implicit argument and report error if not found
A string indicating the formal parameter corresponding to a missing argument
A string indicating the formal parameter corresponding to a missing argument
Find an implicit parameter or conversion.
Find an implicit parameter or conversion.
- Value Params
- argument
If an implicit conversion is searched, the argument to which it should be applied, EmptyTree otherwise.
- pt
The expected type of the parameter or conversion.
- span
The position where errors should be reported.
Find an implicit argument for parameter formal
.
Return a failure as a SearchFailureType in the type of the returned tree.
Find an implicit argument for parameter formal
.
Return a failure as a SearchFailureType in the type of the returned tree.
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
.
- Value Params
- arg
Tree representing a failed result of implicit search
- paramSymWithMethodCallTree
Symbol of the parameter for which the implicit was searched and tree of the method call that triggered the implicit search
- pt
Type for which an implicit value was searched
- where
Description of where the search was performed. Might be empty
Try to typecheck an implicit reference
Try to typecheck an implicit reference