Implicit resolution
- Companion:
- class
Type members
Classlikes
An ambiguous implicits failure
An ambiguous implicits failure
An eligible implicit candidate, consisting of an implicit reference and a nesting level
An eligible implicit candidate, consisting of an implicit reference and a nesting level
- Companion:
- object
The implicit references coming from the context.
The implicit references coming from the context.
- Value parameters:
- outerCtx
the next outer context that makes visible further implicits
- refs
the implicit references made visible by the current context. Note: The name of the reference might be different from the name of its symbol. In the case of a renaming import a => b, the name of the reference is the renamed name, b, whereas the name of the symbol is the original name, a.
A search failure type for attempted ill-typed extension method calls
A search failure type for attempted ill-typed extension method calls
A common base class of contextual implicits and of-type implicits which represents a set of references to implicit definitions.
A common base class of contextual implicits and of-type implicits which represents a set of references to implicit definitions.
A search failure type for aborted searches of extension methods, typically because of a cyclic reference or similar.
A search failure type for aborted searches of extension methods, typically because of a cyclic reference or similar.
- Companion:
- object
The implicit references coming from the implicit scope of a type.
The implicit references coming from the implicit scope of a type.
- Value parameters:
- companionRefs
the companion objects in the implicit scope.
- tp
the type determining the implicit scope
Both search candidates and successes are references with a specific nesting level.
Both search candidates and successes are references with a specific nesting level.
An implicit definition implicitRef
that is visible under a different name, alias
.
Gets generated if an implicit ref is imported via a renaming import.
An implicit definition implicitRef
that is visible under a different name, alias
.
Gets generated if an implicit ref is imported via a renaming import.
The result of an implicit search
The result of an implicit search
A successful search
A successful search
- Value parameters:
- isExtension
Whether the result is an extension method application
- level
The level where the reference was found
- ref
The implicit reference that succeeded
- tree
The typed tree that needs to be inserted
- tstate
The typer state to be committed if this alternative is chosen
A search failure type for failed synthesis of terms for special types
A search failure type for failed synthesis of terms for special types