Implicits

dotty.tools.dotc.typer.Implicits

See theImplicits companion object

The implicit resolution part of type checking

Attributes

Companion:: object
Graph
Supertypes: class Object
trait Matchable
class Any
Known subtypes: class Typer
class ReTyper
class InlineTyper
class Typer
class Checker
Self type: Typer

Concise view

An implicit search; parameters as in inferImplicit

Graph
Supertypes: class TreeAccumulator[Boolean]
class Object
trait Matchable
class Any
Self type: hasSkolem.type

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.

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.

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

Generated with