Implicits

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

Search an implicit argument and report error if not found

A string indicating the formal parameter corresponding to a missing argument

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 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

Type members